Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-06-23 20:37
f2e9b91e
View on Github →
fix(maintainer_*_wf_run.yml): correct syntax for multiline strings (
#26323
) Follow-up to
#26288
.
Estimated changes
Modified
.github/workflows/maintainer_bors_wf_run.yml
Modified
.github/workflows/maintainer_merge_wf_run.yml