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