Introduce flintify helper for "optimal" dispatch on integer and rational inputs
#2744
Annotations
1 error and 1 notice
|
Run tests
Process completed with exit code 1.
|
|
Set up Julia
[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.
|
Loading