Move pirated stuff from Nemo #1297
Triggered via pull request
September 4, 2023 14:19
Status
Cancelled
Total duration
1h 17m 56s
Artifacts
–
oscar.yml
on: pull_request
generatematrix
1m 41s
Matrix: test-oscar
Annotations
6 errors
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
Can't use 'tar -xzf' extract archive file: /home/runner/work/_actions/_temp_ad30cc4d-d5c2-41ba-92ab-a767115350db/b60b502e-89ef-44bf-88a2-3a31641d6f36.tar.gz. return code: 2.
|
Pkg resolve failed:
home/runner/.julia/packages/OscarDevTools/n4Snd/src/DevUtils.jl#L250
Skipping tests because resolving package versions failed:
|
matching: [Nemo@lgoettgens#lg/nemo-piracy,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1412/merge-true' exists
|
|
matching: [Nemo@lgoettgens#lg/nemo-piracy,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.9.0-0
Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1412/merge-true' exists
|
|