Skip to content

moved two functions from Oscar to Nemo #971

moved two functions from Oscar to Nemo

moved two functions from Oscar to Nemo #971

Triggered via pull request July 28, 2023 09:00
Status Failure
Total duration 1h 53m 46s
Artifacts

oscar.yml

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

Annotations

4 errors
Pkg resolve failed: home/runner/.julia/packages/OscarDevTools/n4Snd/src/DevUtils.jl#L250
Skipping tests because resolving package versions failed:
Pkg resolve failed: home/runner/.julia/packages/OscarDevTools/n4Snd/src/DevUtils.jl#L250
Skipping tests because resolving package versions failed:
matching: [Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.