Enforce PR labels

Add a constructive membership test for double cosets #3951

Sign in to view logs

Triggered via pull request November 10, 2025 16:50

simonbrandhorst

synchronize #5532

ThomasBreuer:TB_double_cosets_decompose

Status Success

Total duration 21s

Artifacts –

EnforceLabels.yml

on: pull_request

Check for blocking labels