Fix btor2parser linking and update Yices2 API compatibility #26
karthiknukalaci.yml
on: pull_request
Matrix: build-and-test-linux
Matrix: build-macos
Annotations
4 warnings and 4 notices
|
build-macos (Release)
readline 8.3.1 is already installed and up-to-date.
To reinstall 8.3.1, 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 (Debug)
readline 8.3.1 is already installed and up-to-date.
To reinstall 8.3.1, 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 (Release)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
build-macos (Release)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
build-macos (Debug)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
build-macos (Debug)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|