From e8a15b2ae2c59afbec888637acbbd45bbdd923d0 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Thu, 27 Jun 2024 09:25:23 -0400 Subject: [PATCH] .github: remove haskellstack.org from link check Seems to be failing some kind of robot check. Signed-off-by: Gerwin Klein --- .github/workflows/push.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 886676ea..557f2eaf 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