Skip to content

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

add the library of groups with at most 14 conjugacy classes

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

Triggered via pull request December 19, 2024 21:50
Status Cancelled
Total duration 9m 40s
Artifacts

NoExperimental.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

6 errors
docs
Canceling since a higher priority waiting request for 'Run CI without experimental-refs/pull/4409/merge-true' exists
docs
The operation was canceled.
test (long)
Canceling since a higher priority waiting request for 'Run CI without experimental-refs/pull/4409/merge-true' exists
test (short)
Canceling since a higher priority waiting request for 'Run CI without experimental-refs/pull/4409/merge-true' exists
doctest
Canceling since a higher priority waiting request for 'Run CI without experimental-refs/pull/4409/merge-true' exists
doctest
The operation was canceled.