Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-07-25 23:15
4461307c
View on Github →
chore: bump nightly toolchain more often (
#15142
)
Estimated changes
Modified
.github/workflows/nightly_bump_toolchain.yml