Skip to content

ci: prevent merge of PRs with do-not-merge label #3884

ci: prevent merge of PRs with do-not-merge label

ci: prevent merge of PRs with do-not-merge label #3884

Triggered via pull request November 18, 2024 11:43
Status Success
Total duration 3m 18s
Artifacts

static.yml

on: pull_request
Fit to window
Zoom out
Zoom in