Introduce flintify helper for "optimal" dispatch on integer and rat…
#1989
fingolfinoscar.yml
on: push
generatematrix
50s
Matrix: test-oscar
Annotations
2 errors
|
Pkg resolve failed:
home/runner/.julia/packages/OscarDevTools/mv2Iu/src/DevUtils.jl#L250
Skipping tests because resolving package versions failed:
|
|
Pkg resolve failed:
home/runner/.julia/packages/OscarDevTools/mv2Iu/src/DevUtils.jl#L250
Skipping tests because resolving package versions failed:
|