Enforce PR labels

Add `dual` for roots and coroots #8210

Sign in to view logs

Triggered via pull request July 3, 2026 08:13

lgoettgens

synchronize #6098

janikapeters:jp/dual

Status Success

Total duration 21s

Artifacts –

EnforceLabels.yml

on: pull_request

Check for blocking labels