Skip to content
OscarCI

Rename rank(A::GrpAbFinGen) to torsion_free_rank #2239

Sign in to view logs

Rename rank(A::GrpAbFinGen) to torsion_free_rank

Rename rank(A::GrpAbFinGen) to torsion_free_rank #2239

Triggered via pull request November 3, 2023 20:10
@fingolfinfingolfin
synchronize #1224
fingolfin:mh/torsion_free_rank
Status Failure
Total duration 8m 33s
Artifacts –

oscar.yml

on: pull_request
generatematrix
1m 25s
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:
matching: [Oscar#master] - ubuntu-latest, julia ~1.6.0-0
Process completed with exit code 1.
matching: [Oscar#master] - ubuntu-latest, julia ~1.9.0-0
Process completed with exit code 1.