Enforce PR labels

Disallow nondistinct variable names for universal rings #449

Sign in to view logs

Triggered via pull request May 27, 2026 13:16

labeled #2413

SoongNoonien:uring_var_names

Status Success

Total duration 26s

Artifacts –

EnforcePrLabels.yml

on: pull_request

Check for blocking labels