Enforce PR labels

Faster computation of injective resolutions #3948

Sign in to view logs

Triggered via pull request November 10, 2025 15:57

annahofer00

synchronize #5497

annahofer00:master

Status Success

Total duration 23s

Artifacts –

EnforceLabels.yml

on: pull_request

Check for blocking labels