Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-04-16 11:45
df25981b
View on Github →
fix(nolints.yml): continue gracefully if no changes were found (
#24110
) Fixes
#23241
.
Estimated changes
Modified
scripts/update_nolints_CI.sh