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