missing include with recent FLINT #36
JohnCremonaAnnotations
2 warnings
|
macos-latest with enable-mpfp
Mamba support is still experimental and can result in differently solved environments!
|
|
macos-latest with enable-mpfp
warning libmamba You have not set the root prefix environment variable.
To permanently modify the root prefix location, either:
- set the 'MAMBA_ROOT_PREFIX' environment variable
- use the '-r,--root-prefix' CLI option
- use 'mamba shell init ...' to initialize your shell
(then restart or source the contents of the shell init script)
Continuing with default value: "/Users/runner/miniconda3"
|