Optimization #263
test.yml
on: pull_request
Matrix: run-tests-master
Matrix: run-tests
deploy-pypi
0s
Annotations
3 errors and 2 warnings
|
run-tests-master (macos-latest, none)
[notice] A new release of pip is available: 21.1.1 -> 25.0.1
[notice] To update, run: python3.8 -m pip install --upgrade pip
|
|
run-tests (ubuntu-latest, cvc5)
Process completed with exit code 134.
|
|
run-tests-master (ubuntu-latest, all)
Process completed with exit code 1.
|
|
run-tests-master (macos-13, msat)
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|
|
run-tests-master (macos-13, yices)
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|