Move obvious type piracy from Hecke to Nemo #921
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
oscar.yml
on: pull_request
generatematrix
1m 35s
Matrix: test-oscar
Annotations
6 errors
matching: [Oscar#master,Hecke@lgoettgens#lg/hecke-piracy,Singular#master] - ubuntu-latest, julia ~1.6.0-0
Process completed with exit code 1.
|
matching: [Oscar#master,Hecke@lgoettgens#lg/hecke-piracy,Singular#master] - ubuntu-latest, julia ~1.8.0-0
Process completed with exit code 1.
|
[Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.8.0-0
Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1501/merge-true' exists
|
[Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.8.0-0
The operation was canceled.
|
[Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1501/merge-true' exists
|
[Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
The operation was canceled.
|