Skip to content
Lint

Minimal Permutation Degree for Simple and Semi-Simple Groups #1731

Sign in to view logs

Minimal Permutation Degree for Simple and Semi-Simple Groups

Minimal Permutation Degree for Simple and Semi-Simple Groups #1731

Re-run triggered June 7, 2024 13:12
@fingolfinfingolfin
#5732
pranav-joshi-iitgn:second
Status Failure
Total duration 39s
Artifacts –

lint.yml

on: pull_request
gaplint
29s
gaplint
Fit to window
Zoom out
Zoom in

Annotations

1 error
gaplint
Process completed with exit code 1.