Move obvious type piracy from Hecke to Nemo #927
oscar.yml
on: pull_request
generatematrix
59s
Matrix: test-oscar
Annotations
2 errors
matching: [Oscar#master,Hecke@lgoettgens#lg/hecke-piracy,Singular#master] - ubuntu-latest, julia ~1.8.0-0
Process completed with exit code 1.
|
matching: [Oscar#master,Hecke@lgoettgens#lg/hecke-piracy,Singular#master] - ubuntu-latest, julia ~1.6.0-0
Process completed with exit code 1.
|