ci: update link check (#1680)

2026-09-08 02:37:52 +02:00 · 2024-09-11 13:16:55 -04:00
parent bf6ad19963
commit 229765c4a5
1 changed files with 1 additions and 1 deletions
@@ -57,7 +57,7 @@ jobs:
              --check-links-ignore "https://x.com/.*" \
              --check-links-ignore "https://github\.com/.*" \
              --check-links-ignore "/.*\.(ipynb|html)$" \
-              --check-links $(find docs/site -name "index.html" | grep -v 'storm.ipynb')
+              --check-links $(find docs/site -name "index.html" | grep -v 'storm/index.html')
          else
            echo "Fetching changes from origin/main..."
            git fetch origin main