Skip to content

Optimize map_coefficients, change_base_ring for some inputs (#1994) #2674

Optimize map_coefficients, change_base_ring for some inputs (#1994)

Optimize map_coefficients, change_base_ring for some inputs (#1994) #2674

Triggered via push February 25, 2025 09:19
Status Success
Total duration 3h 7m 0s
Artifacts

oscar.yml

on: push
generatematrix
44s
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: