Maintainer merge #37014
Triggered via issue comment
February 11, 2025 23:32
mathlib4-dependent-issues-bot
mathlib4-dependent-issues-bot
created
83e6d7e
Status
Success
Total duration
10s
Artifacts
–
maintainer_merge.yml
on: issue_comment
Ping maintainers on Zulip
2s