Skip to content
Back to pull request #809

extend rQuotientRing to non-commutative quotient rings #825

Sign in to view logs

extend rQuotientRing to non-commutative quotient rings

extend rQuotientRing to non-commutative quotient rings #825

Triggered via pull request June 7, 2024 07:34
@hannes14hannes14
opened #809
hannes14:hs/nc-qring
Status Success
Total duration 2h 5m 14s
Artifacts –

oscar.yml

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

Annotations

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