Skip to content
Lint

Load the whole GAP library before loading packages #2412

Sign in to view logs

Load the whole GAP library before loading packages

Load the whole GAP library before loading packages #2412

Run time

Learn about OS pricing on GitHub Actions
Job Run time
gaplint
28s
28s