CVC4: Add patches to ease building on AArch64 #264
RyanGlScottci.yml
on: pull_request
Matrix: build
mergify
0s
Matrix: package_solvers
Annotations
48 warnings
|
build (ubuntu-22.04, bitwuzla)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-20.04, bitwuzla)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-22.04, yices)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-20.04, yices)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-22.04, boolector)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-20.04, boolector)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-22.04, abc)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-20.04, abc)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, boolector)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, boolector)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
build (windows-2019, bitwuzla)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, bitwuzla)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, bitwuzla)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
build (windows-2019, boolector)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, abc)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, abc)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
build (windows-2019, abc)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-22.04, z3-4.8.8)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-20.04, z3-4.8.8)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (windows-2019, yices)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, yices)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, yices)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
build (ubuntu-22.04, z3-4.8.14)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-22.04, cvc5)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-22.04, cvc4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (windows-2019, z3-4.8.8)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-20.04, z3-4.8.14)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-20.04, cvc4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (ubuntu-20.04, cvc5)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-14, abc)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (windows-2019, z3-4.8.14)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (windows-2019, cvc4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-14, bitwuzla)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (windows-2019, cvc5)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, cvc4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, cvc4)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
build (macos-13, z3-4.8.14)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, z3-4.8.14)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
build (macos-13, z3-4.8.8)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, z3-4.8.8)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
build (macos-13, cvc5)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-13, cvc5)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
build (macos-14, boolector)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-14, cvc4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-14, yices)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-14, z3-4.8.14)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-14, z3-4.8.8)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (macos-14, cvc5)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
macos-13-X64-abc-bin
|
6.6 MB |
|
|
macos-13-X64-bin
|
54.7 MB |
|
|
macos-13-X64-bitwuzla-bin
|
1.24 MB |
|
|
macos-13-X64-boolector-bin
|
865 KB |
|
|
macos-13-X64-cvc4-bin
|
6.81 MB |
|
|
macos-13-X64-cvc5-bin
|
7.73 MB |
|
|
macos-13-X64-yices-bin
|
6.5 MB |
|
|
macos-13-X64-z3-4.8.14-bin
|
8.49 MB |
|
|
macos-13-X64-z3-4.8.8-bin
|
7.97 MB |
|
|
macos-14-ARM64-abc-bin
|
5.8 MB |
|
|
macos-14-ARM64-bin
|
50.4 MB |
|
|
macos-14-ARM64-bitwuzla-bin
|
1.08 MB |
|
|
macos-14-ARM64-boolector-bin
|
785 KB |
|
|
macos-14-ARM64-cvc4-bin
|
6.21 MB |
|
|
macos-14-ARM64-cvc5-bin
|
6.94 MB |
|
|
macos-14-ARM64-yices-bin
|
6.45 MB |
|
|
macos-14-ARM64-z3-4.8.14-bin
|
7.85 MB |
|
|
macos-14-ARM64-z3-4.8.8-bin
|
7.41 MB |
|
|
ubuntu-20.04-X64-abc-bin
|
7.44 MB |
|
|
ubuntu-20.04-X64-bin
|
71.7 MB |
|
|
ubuntu-20.04-X64-bitwuzla-bin
|
2.09 MB |
|
|
ubuntu-20.04-X64-boolector-bin
|
1.36 MB |
|
|
ubuntu-20.04-X64-cvc4-bin
|
8.04 MB |
|
|
ubuntu-20.04-X64-cvc5-bin
|
8.42 MB |
|
|
ubuntu-20.04-X64-yices-bin
|
11.1 MB |
|
|
ubuntu-20.04-X64-z3-4.8.14-bin
|
11.4 MB |
|
|
ubuntu-20.04-X64-z3-4.8.8-bin
|
10.6 MB |
|
|
ubuntu-22.04-X64-abc-bin
|
7.11 MB |
|
|
ubuntu-22.04-X64-bin
|
73.3 MB |
|
|
ubuntu-22.04-X64-bitwuzla-bin
|
2.13 MB |
|
|
ubuntu-22.04-X64-boolector-bin
|
1.37 MB |
|
|
ubuntu-22.04-X64-cvc4-bin
|
8.75 MB |
|
|
ubuntu-22.04-X64-cvc5-bin
|
9.01 MB |
|
|
ubuntu-22.04-X64-yices-bin
|
11.2 MB |
|
|
ubuntu-22.04-X64-z3-4.8.14-bin
|
11.5 MB |
|
|
ubuntu-22.04-X64-z3-4.8.8-bin
|
10.7 MB |
|
|
windows-2019-X64-abc-bin
|
6.16 MB |
|
|
windows-2019-X64-bin
|
68.3 MB |
|
|
windows-2019-X64-bitwuzla-bin
|
1.76 MB |
|
|
windows-2019-X64-boolector-bin
|
980 KB |
|
|
windows-2019-X64-cvc4-bin
|
9.05 MB |
|
|
windows-2019-X64-cvc5-bin
|
9.15 MB |
|
|
windows-2019-X64-yices-bin
|
7.95 MB |
|
|
windows-2019-X64-z3-4.8.14-bin
|
11.4 MB |
|
|
windows-2019-X64-z3-4.8.8-bin
|
10.6 MB |
|