diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index a3a3317ec9..8e1b92dcca 100644 --- 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.*"