Skip to content

Some PRs are not moved from Approved to Merged after they are merged #1073

Some PRs are not moved from Approved to Merged after they are merged

Some PRs are not moved from Approved to Merged after they are merged #1073

Triggered via issue February 8, 2024 20:37
Status Success
Total duration 22s
Artifacts
Perform issue automations
13s
Perform issue automations
Fit to window
Zoom out
Zoom in