Skip to content

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

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 #1138

Triggered via issue February 12, 2024 15:14
Status Success
Total duration 40s
Artifacts
Perform issue automations
29s
Perform issue automations
Fit to window
Zoom out
Zoom in