Noah Lev 7d522989ff Disable linkcheck in PRs until bugs are fixed ... See https://github.com/Michael-F-Bryan/mdbook-linkcheck/issues/77 and https://github.com/Michael-F-Bryan/mdbook-linkcheck/issues/86. These bugs are causing linkcheck to erroneously fail because we run it using `-f`, to avoid too many requests. For now, disable linkcheck in PR CI, though leave it enabled in the cron job, where the bug should not occur.		2024-08-07 20:32:37 -07:00
..
date-check	Bump all other deps	2024-07-09 08:20:59 +02:00
check-in.sh	Link to Zulip search for finding the most recent check-in (#1118)	2021-04-29 17:40:25 -03:00
linkcheck.sh	Disable linkcheck in PRs until bugs are fixed	2024-08-07 20:32:37 -07:00