Introduce flintify helper for "optimal" dispatch on integer and rational inputs
#2747
Triggered via pull request
September 26, 2024 13:43
fingolfin
Status
Success
Total duration
14m 48s
Artifacts
–
CI.yml
on: pull_request
Documentation
14m 37s
Matrix: test
Annotations
1 notice
|
test (1.6, ubuntu-latest)
[setup-julia] If you are testing 1.6 as a Long Term Support (lts) version, consider using the new "lts" version specifier instead of "1.6" explicitly, which will automatically resolve the current lts.
|