github: remove haskellstack.org from link check

The site doesn't like link checkers any more, so we're removing it from the check. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Jul 1, 2024 · 00d9073 · 00d9073
1 parent 6956c71
commit 00d9073
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -31,3 +31,5 @@ jobs:
       - uses: seL4/ci-actions/link-check@master
         with:
           token: ${{ secrets.READ_TOKEN }}
+          # produces 403 for link checkers now:
+          exclude_urls: ".*haskellstack.org.*"