Skip to content
OscarCI

rename orderings: revlex->invlex,rp->ip...introduce deginvlex #626

Sign in to view logs

rename orderings: revlex->invlex,rp->ip...introduce deginvlex

rename orderings: revlex->invlex,rp->ip...introduce deginvlex #626

Triggered via pull request November 7, 2023 10:16
@hannes14hannes14
synchronize #722
hannes14:hs/orderings
Status Success
Total duration 4m 46s
Artifacts –

oscar.yml

on: pull_request
generatematrix
1m 15s
generatematrix
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:
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: