Skip to content

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

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

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

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