diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 886676e..557f2ea 100644 --- 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.*" \ No newline at end of file