.github: remove haskellstack.org from link check

Seems to be failing some kind of robot check. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Jun 27, 2024 · e3ff513 · e3ff513
1 parent 2d057e7
commit e3ff513
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -23,3 +23,6 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: seL4/ci-actions/link-check@master
+        with:
+          # produces 403 for link checkers now:
+          exclude_urls: ".*haskellstack.org.*"