Enforce PR labels

Add `is_acyclic` function for directed graphs #1818

Sign in to view logs

Triggered via pull request August 20, 2025 08:45

fingolfin

edited #5211

adv/is_acyclic

Status Success

Total duration 22s

Artifacts –

EnforceLabels.yml

on: pull_request

Check for blocking labels