Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-11-20 18:07
8e0d70c3
View on Github →
fix:
>>
and print author (
#19300
) Use
>>
to set
GITHUB_OUTPUT
, instead of
>
.
Estimated changes
Modified
.github/workflows/maintainer_bors.yml