continuous integration (mathlib forks)

chore: also use zipWithIndex in the adaptationNoteLinter #154062

Sign in to view logs

GitHub Actions / New Contributor Check completed Nov 21, 2024 in 0s

Found 538 PRs by grunweg.

Found 538 PRs by grunweg.

View more details on GitHub Actions