Skip to content

Add some specialized methods for universal polynomials #2557

Add some specialized methods for universal polynomials

Add some specialized methods for universal polynomials #2557

Re-run triggered January 31, 2025 08:57
Status Success
Total duration 2h 51m 50s
Artifacts

oscar.yml

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

Annotations

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