Skip to content
OscarCI

Move obvious type piracy from Hecke to Nemo (#1501) #946

Sign in to view logs

Move obvious type piracy from Hecke to Nemo (#1501)

Move obvious type piracy from Hecke to Nemo (#1501) #946

Triggered via push July 6, 2023 10:01
@thofmathofma
pushed 513e097
master
Status Success
Total duration 5m 5s
Artifacts –

oscar.yml

on: push
generatematrix
1m 4s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Pkg resolve failed: home/runner/.julia/packages/OscarDevTools/kQkot/src/DevUtils.jl#L250
Skipping tests because resolving package versions failed:
Pkg resolve failed: home/runner/.julia/packages/OscarDevTools/kQkot/src/DevUtils.jl#L250
Skipping tests because resolving package versions failed:
Pkg resolve failed: home/runner/.julia/packages/OscarDevTools/kQkot/src/DevUtils.jl#L250
Skipping tests because resolving package versions failed:
Pkg resolve failed: home/runner/.julia/packages/OscarDevTools/kQkot/src/DevUtils.jl#L250
Skipping tests because resolving package versions failed: