Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-05-14 13:52
8a273f31
View on Github →
chore: tweak output of discover-lean-pr-testing.yml (
#24898
)
Estimated changes
Modified
.github/workflows/discover-lean-pr-testing.yml