Work around bitwuzla/bitwuzla#96 on Ubuntu 20.04 #247
ci.yml
on: push
Matrix: build
mergify
0s
Matrix: package_solvers
Annotations
37 warnings
build (ubuntu-20.04, yices)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-20.04, bitwuzla)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-22.04, boolector)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-22.04, bitwuzla)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-20.04, boolector)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-22.04, yices)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-20.04, abc)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-22.04, abc)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (windows-2019, bitwuzla)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (windows-2019, boolector)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (macos-12, boolector)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (macos-12, bitwuzla)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (windows-2019, abc)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-22.04, z3-4.8.8)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (macos-12, abc)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-20.04, z3-4.8.8)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (windows-2019, yices)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (macos-12, yices)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-22.04, cvc4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-22.04, z3-4.8.14)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-20.04, cvc4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-20.04, z3-4.8.14)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (windows-2019, z3-4.8.8)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-20.04, cvc5)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (macos-12, cvc4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (ubuntu-22.04, cvc5)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (windows-2019, z3-4.8.14)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (windows-2019, z3-4.8.14)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (macos-12, z3-4.8.8)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (windows-2019, cvc5)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (windows-2019, cvc4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (macos-12, z3-4.8.14)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build (macos-12, cvc5)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
package_solvers (macos-12)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
package_solvers (ubuntu-20.04)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
package_solvers (ubuntu-22.04)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
package_solvers (windows-2019)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
macos-12-X64-abc-bin
Expired
|
15.5 MB |
|
macos-12-X64-bin
Expired
|
135 MB |
|
macos-12-X64-bitwuzla-bin
Expired
|
3.01 MB |
|
macos-12-X64-boolector-bin
Expired
|
1.97 MB |
|
macos-12-X64-cvc4-bin
Expired
|
19.7 MB |
|
macos-12-X64-cvc5-bin
Expired
|
23.2 MB |
|
macos-12-X64-yices-bin
Expired
|
16.2 MB |
|
macos-12-X64-z3-4.8.14-bin
Expired
|
18.9 MB |
|
macos-12-X64-z3-4.8.8-bin
Expired
|
17.6 MB |
|
ubuntu-20.04-X64-abc-bin
Expired
|
15.5 MB |
|
ubuntu-20.04-X64-bin
Expired
|
171 MB |
|
ubuntu-20.04-X64-bitwuzla-bin
Expired
|
5.09 MB |
|
ubuntu-20.04-X64-boolector-bin
Expired
|
3.06 MB |
|
ubuntu-20.04-X64-cvc4-bin
Expired
|
23 MB |
|
ubuntu-20.04-X64-cvc5-bin
Expired
|
21.8 MB |
|
ubuntu-20.04-X64-yices-bin
Expired
|
26.7 MB |
|
ubuntu-20.04-X64-z3-4.8.14-bin
Expired
|
25.9 MB |
|
ubuntu-20.04-X64-z3-4.8.8-bin
Expired
|
24.1 MB |
|
ubuntu-22.04-X64-abc-bin
Expired
|
14.8 MB |
|
ubuntu-22.04-X64-bin
Expired
|
174 MB |
|
ubuntu-22.04-X64-bitwuzla-bin
Expired
|
5.19 MB |
|
ubuntu-22.04-X64-boolector-bin
Expired
|
3.08 MB |
|
ubuntu-22.04-X64-cvc4-bin
Expired
|
24.5 MB |
|
ubuntu-22.04-X64-cvc5-bin
Expired
|
23.4 MB |
|
ubuntu-22.04-X64-yices-bin
Expired
|
26.6 MB |
|
ubuntu-22.04-X64-z3-4.8.14-bin
Expired
|
26 MB |
|
ubuntu-22.04-X64-z3-4.8.8-bin
Expired
|
24.2 MB |
|
windows-2019-X64-abc-bin
Expired
|
12.7 MB |
|
windows-2019-X64-bin
Expired
|
152 MB |
|
windows-2019-X64-bitwuzla-bin
Expired
|
4.15 MB |
|
windows-2019-X64-boolector-bin
Expired
|
2.03 MB |
|
windows-2019-X64-cvc4-bin
Expired
|
21.5 MB |
|
windows-2019-X64-cvc5-bin
Expired
|
21.9 MB |
|
windows-2019-X64-yices-bin
Expired
|
18.3 MB |
|
windows-2019-X64-z3-4.8.14-bin
Expired
|
24.3 MB |
|
windows-2019-X64-z3-4.8.8-bin
Expired
|
22.7 MB |
|