Add page linter to CI

gradle · Oct 24, 2024 · b4640f6 · b4640f6
1 parent 4e4aa2e
commit b4640f6
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -28,3 +28,14 @@ jobs:
 
       - name: Build the docs
         run: mkdocs build
+
+      - name: Lint the static site
+        uses: anishathalye/proof-html@v2
+        # if: ${{ inputs.runLint }}
+        with:
+          directory: ./_site
+          enforce_https: false
+          tokens: |
+            {"https://github.com": "${{ secrets.GITHUB_TOKEN }}"}
+          ignore_url: |
+             https://fonts.gstatic.com