continuous integration (mathlib forks)

applied further suggestions from Johan #157616

Sign in to view logs

GitHub Actions / New Contributor Check completed Dec 4, 2024 in 0s

Found 10 PRs by FMLJohn.

Found 10 PRs by FMLJohn.

View more details on GitHub Actions