Skip to content
OscarCI

Move obvious type piracy from Hecke to Nemo #937

Sign in to view logs

Move obvious type piracy from Hecke to Nemo

Move obvious type piracy from Hecke to Nemo #937

Triggered via pull request July 3, 2023 20:52
@lgoettgenslgoettgens
synchronize #1501
lgoettgens:lg/hecke-piracy
Status Failure
Total duration 1h 55m 33s
Artifacts –

oscar.yml

on: pull_request
generatematrix
53s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in

Annotations

3 errors
[Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.8.0-0
Process completed with exit code 1.
[Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.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
Process completed with exit code 1.