continuous integration (mathlib forks)

Update Mathlib/Data/Setoid/Basic.lean #138536

Sign in to view logs

GitHub Actions / New Contributor Check completed Oct 9, 2024 in 0s

Found 33 PRs by jsm28.

Found 33 PRs by jsm28.

View more details on GitHub Actions