Commit 2025-06-08 14:49 b84acde3

fix(CI): avoid running more mathlib4 only actions in forks (#25592) These are the remaining actions using a non-secrets.GITHUB_TOKEN token. Hopefully this covers most, if not all, the reamining regular failures for actions on forks. The previous PR with a similar effect was #25590.