From 00f55f8bdfa6afc3170249daee976d7e1fd9b6d5 Mon Sep 17 00:00:00 2001 From: hejianpeng Date: Fri, 21 Apr 2023 10:01:49 +0800 Subject: [PATCH] fix markdown linter Signed-off-by: hejianpeng --- .github/workflows/docs.yaml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 8b54b48294b..838f71d182d 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -22,6 +22,7 @@ jobs: uses: nosborn/github-action-markdown-cli@v3.3.0 with: files: docs/* + ignore_files: "**/*_types.md" # ignore generated API docs config_file: ".github/markdown_lint_config.json" docs-build: @@ -34,7 +35,7 @@ jobs: - name: Generate EG Pages run: make docs - # Upload docs for GitHub Pages + # Upload docs for GitHub Pages - name: Upload GitHub Pages artifact uses: actions/upload-pages-artifact@v1.0.8 with: @@ -51,9 +52,9 @@ jobs: # Grant GITHUB_TOKEN the permissions required to make a Pages deployment permissions: - pages: write # to deploy to Pages + pages: write # to deploy to Pages deployments: write - id-token: write # to verify the deployment originates from an appropriate source + id-token: write # to verify the deployment originates from an appropriate source # Deploy to the github-pages environment environment: