Move obvious type piracy from Hecke to Nemo #942
oscar.yml
on: pull_request
generatematrix
56s
Matrix: test-oscar
Annotations
6 errors
[Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
Process completed with exit code 1.
|
[Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.8.0-0
Process completed with exit code 1.
|
matching: [Oscar@lgoettgens#lg/hecke-piracy,Hecke@lgoettgens#lg/hecke-piracy,Singular#master] - ubuntu-latest, julia ~1.8.0-0
Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1501/merge-true' exists
|
|
matching: [Oscar@lgoettgens#lg/hecke-piracy,Hecke@lgoettgens#lg/hecke-piracy,Singular#master] - ubuntu-latest, julia ~1.6.0-0
Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1501/merge-true' exists
|
|