Skip to content
Lint

Fix regression in IsomorphismGroups leading to unexpected break loops #1622

Sign in to view logs

Fix regression in IsomorphismGroups leading to unexpected break loops

Fix regression in IsomorphismGroups leading to unexpected break loops #1622

Triggered via pull request May 6, 2024 16:42
@fingolfinfingolfin
opened #5711
fingolfin:mh/fix-5708
Status Success
Total duration 38s
Artifacts –

lint.yml

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