Maintainer merge (workflow_run) #133702
Triggered via workflow run
March 10, 2026 15:15
leanprover-radar
completed
1f8cbfe
Status
Skipped
Total duration
1s
Artifacts
–
maintainer_merge_wf_run.yml
on: workflow_run
Ping maintainers on Zulip