Skip to content

Overhaul GitHub actions and workflows to add a merge queue #227

Overhaul GitHub actions and workflows to add a merge queue

Overhaul GitHub actions and workflows to add a merge queue #227

Triggered via pull request September 22, 2025 17:12
Status Skipped
Total duration
Artifacts

close-trivial-prs.yml

on: pull_request_target
close-trivial-pr
0s
close-trivial-pr
Fit to window
Zoom out
Zoom in