Enforce PR labels

CI: Limit concurrency of Docu jobs #3938

Sign in to view logs

Triggered via pull request November 9, 2025 21:22

fingolfin

labeled #5535

mh/docu-concurrency

Status Success

Total duration 22s

Artifacts –

EnforceLabels.yml

on: pull_request

Check for blocking labels