Skip to content

ci: prevent PR with "do not merge" label from being merged #4

ci: prevent PR with "do not merge" label from being merged

ci: prevent PR with "do not merge" label from being merged #4

Triggered via pull request November 20, 2024 13:37
Status Failure
Total duration 9s
Artifacts
fail-for-do-not-merge
0s
fail-for-do-not-merge
Fit to window
Zoom out
Zoom in

Annotations

1 error
fail-for-do-not-merge
Process completed with exit code 1.