Enforce PR labels

Revise `type_param` delegation #3862

Sign in to view logs

Triggered via pull request November 6, 2025 09:00

fingolfin

synchronize #5505

mh/type_params4

Status Success

Total duration 20s

Artifacts –

EnforceLabels.yml

on: pull_request

Check for blocking labels