Skip to content
Run CI without experimental

add the library of groups with at most 14 conjugacy classes #3835

Sign in to view logs

add the library of groups with at most 14 conjugacy classes

add the library of groups with at most 14 conjugacy classes #3835

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docs
11m 46s
doctest
19m 6s
test (short)
52m 42s
test (long)
41m 4s
2h 4m 38s