Add Ubuntu 24.04 binaries, drop Ubuntu 20.04 #269
RyanGlScottci.yml
on: pull_request
Matrix: build
mergify
0s
Matrix: package_solvers
Annotations
8 warnings
|
build (macos-13, bitwuzla)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
build (macos-13, boolector)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
build (macos-13, abc)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
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, yices)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
build (macos-13, cvc5)
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)
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)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
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-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 |
|
|
ubuntu-24.04-X64-abc-bin
|
7.19 MB |
|
|
ubuntu-24.04-X64-bin
|
74.7 MB |
|
|
ubuntu-24.04-X64-bitwuzla-bin
|
2.19 MB |
|
|
ubuntu-24.04-X64-boolector-bin
|
1.38 MB |
|
|
ubuntu-24.04-X64-cvc4-bin
|
9.04 MB |
|
|
ubuntu-24.04-X64-cvc5-bin
|
9.4 MB |
|
|
ubuntu-24.04-X64-yices-bin
|
11.2 MB |
|
|
ubuntu-24.04-X64-z3-4.8.14-bin
|
11.7 MB |
|
|
ubuntu-24.04-X64-z3-4.8.8-bin
|
10.9 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 |
|