Skip to content

Commit

Permalink
.github: remove haskellstack.org from link check
Browse files Browse the repository at this point in the history
Seems to be failing some kind of robot check.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
  • Loading branch information
lsf37 committed Jun 27, 2024
1 parent 2d057e7 commit e3ff513
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .github/workflows/push.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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.*"

0 comments on commit e3ff513

Please sign in to comment.