CI: do not check URLs on github

Running sphinx linkcheck on the github CI now fails for all our references to the UEFI website ("403 Client Error: Forbidden for url"). As a workaround, run only the local checks on the CI for the moment. Signed-off-by: Vincent Stehlé <[email protected]>
ARM-software · Jan 14, 2025 · 841a24a · 841a24a
1 parent 26c17b1
commit 841a24a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -84,7 +84,7 @@ jobs:
           pip3 install --user --break-system-packages mako typing Sphinx~=7.4
 
       - name: 'Check'
-        run: make check
+        run: make check-local
 
       - name: 'Build PDF'
         run: |