Skip to content
Enforce PR labels

Improve the handling of matrix groups over number fields #4184

Sign in to view logs

Improve the handling of matrix groups over number fields

Improve the handling of matrix groups over number fields #4184

Triggered via pull request November 19, 2025 12:56
@ThomasBreuerThomasBreuer
synchronize #4826
ThomasBreuer:TB_nice_matrix_groups
Status Success
Total duration 24s
Artifacts –

EnforceLabels.yml

on: pull_request
Check for blocking labels
21s
Check for blocking labels
Fit to window
Zoom out
Zoom in