From 00d9073f70d064b31b4b1fad8a0e7086bb258007 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Wed, 26 Jun 2024 13:21:55 -0400
Subject: [PATCH] github: remove haskellstack.org from link check

The site doesn't like link checkers any more, so we're removing it from
the check.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 .github/workflows/push.yml | 2 ++
 1 file changed, 2 insertions(+)

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.*"