Commit 2025-06-08 14:09 32a7b4c0

View on Github →

fix(CI): avoid running mathlib4 only actions in forks (#25590) These are a few of the actions that report failures.

Estimated changes

Modified .github/workflows/nightly_bump_toolchain.yml

Modified .github/workflows/nightly_detect_failure.yml

Modified .github/workflows/nightly_merge_master.yml

Modified .github/workflows/update_dependencies.yml

Modified .github/workflows/update_dependencies_zulip.yml