Bors merge/delegate follow-up (workflow_run) #197441
Triggered via workflow run
July 20, 2026 18:41
eric-wieser
eric-wieser
completed
4608056
Status
Skipped
Total duration
1s
Artifacts
–
maintainer_bors_wf_run.yml
on: workflow_run
Bors merge/delegate follow-up