github: ignore 403 for jinja in link check

http://jinja.pocoo.org/docs/ produces 403 for the link checker, but works in the browser. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 1, 2024 · c77562e · c77562e
1 parent 47814a1
commit c77562e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -25,6 +25,8 @@ jobs:
       - uses: seL4/ci-actions/link-check@master
         with:
           exclude: js/node_modules
+          # produces 403 for link checker:
+          exclude_urls: "http://jinja.pocoo.org/docs/"
 
   style:
     name: Style