Maintainer merge (workflow_run) #86562
Triggered via workflow run
December 16, 2025 23:53
mathlib-bors[bot]
mathlib-bors[bot]
completed
edaf32c
Status
Success
Total duration
10s
Artifacts
–
maintainer_merge_wf_run.yml
on: workflow_run
Ping maintainers on Zulip
7s