Maintainer merge (workflow_run) #133705
Triggered via workflow run
March 10, 2026 15:17
mathlib-bors[bot]
mathlib-bors[bot]
completed
d9cd7ac
Status
Skipped
Total duration
1s
Artifacts
–
maintainer_merge_wf_run.yml
on: workflow_run
Ping maintainers on Zulip
0s