continuous integration (mathlib forks)

fix @Basis.mk #164234

Sign in to view logs

GitHub Actions / New Contributor Check completed Jan 5, 2025 in 0s

Found 183 PRs by alreadydone.

Found 183 PRs by alreadydone.

View more details on GitHub Actions