Skip to content
Lint

Speed up IsRegularPGroup #2004

Sign in to view logs

Speed up IsRegularPGroup

Speed up IsRegularPGroup #2004

Triggered via pull request October 1, 2024 22:33
@fingolfinfingolfin
synchronize #5797
fingolfin:mh/tune-IsPowerfulPGroup
Status Success
Total duration 37s
Artifacts –

lint.yml

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