fix markdown linter

Signed-off-by: hejianpeng <hejianpeng2@huawei.com>
envoyproxy · Apr 21, 2023 · 00f55f8 · 00f55f8
1 parent 36afd96
commit 00f55f8
Showing 1 changed file with 4 additions and 3 deletions.
diff --git 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: