Enforce PR labels

docs: move docstring examples, and de-duplicate #5903

Sign in to view logs

Triggered via pull request February 20, 2026 20:07

fingolfin

opened #5793

mh/ideals-dedup

Status Success

Total duration 19s

Artifacts –

EnforceLabels.yml

on: pull_request

Check for blocking labels