Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-06-08 18:48
8b8fe2fa
View on Github →
fix(CI): prevent another emoji reaction from forks (
#25598
)
Estimated changes
Modified
.github/workflows/zulip_emoji_closed_pr.yaml
Modified
.github/workflows/zulip_emoji_labelling.yaml