Add BTOR2 Frontend #22
cgjohannsenci.yml
on: pull_request
Matrix: build-and-test-linux
Matrix: build-macos
Annotations
6 warnings
|
build-macos (Release)
readline 8.2.13 is already installed and up-to-date.
To reinstall 8.2.13, run:
brew reinstall readline
|
|
build-macos (Release)
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|
|
build-macos (Release)
Treating cmake as a formula. For the cask, use homebrew/cask/cmake-app or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|
|
build-macos (Debug)
readline 8.2.13 is already installed and up-to-date.
To reinstall 8.2.13, run:
brew reinstall readline
|
|
build-macos (Debug)
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|
|
build-macos (Debug)
Treating cmake as a formula. For the cask, use homebrew/cask/cmake-app or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|