Fixing issue with Magma groups that are not Ids in Gap #3775
roed314python-package.yml
on: pull_request
Initial setup
4s
Matrix: test
Annotations
3 errors
|
devmirror lint
Process completed with exit code 1.
|
|
devmirror elliptic_curves hecke_algebras tests
Process completed with exit code 1.
|
|
devmirror groups/abstract
Process completed with exit code 1.
|