Fix warnings about obsolete action versions #14
atombAnnotations
3 errors
|
build (macos-11, z3-4.8.5, x64)
Process completed with exit code 1.
|
|
build (macos-12, z3-4.8.5, x64)
Process completed with exit code 1.
|
|
build (macos-13, z3-4.8.5, x64)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
z3-4.12.1-arm64-macos-11-bin
|
7.81 MB |
|
|
z3-4.12.1-arm64-macos-12-bin
|
7.83 MB |
|
|
z3-4.12.1-arm64-macos-13-bin
|
7.82 MB |
|
|
z3-4.12.1-x64-macos-11-bin
|
8.81 MB |
|
|
z3-4.12.1-x64-macos-12-bin
|
8.73 MB |
|
|
z3-4.12.1-x64-macos-13-bin
|
8.67 MB |
|
|
z3-4.12.1-x64-ubuntu-20.04-bin
|
11.5 MB |
|
|
z3-4.12.1-x64-ubuntu-22.04-bin
|
11.7 MB |
|
|
z3-4.12.1-x64-windows-2019-bin
|
11 MB |
|
|
z3-4.12.1-x64-windows-2022-bin
|
11 MB |
|
|
z3-4.12.6-arm64-macos-11-bin
|
7.86 MB |
|
|
z3-4.12.6-arm64-macos-12-bin
|
7.89 MB |
|
|
z3-4.12.6-arm64-macos-13-bin
|
7.87 MB |
|
|
z3-4.12.6-x64-macos-11-bin
|
8.84 MB |
|
|
z3-4.12.6-x64-macos-12-bin
|
8.78 MB |
|
|
z3-4.12.6-x64-macos-13-bin
|
8.71 MB |
|
|
z3-4.12.6-x64-ubuntu-20.04-bin
|
11.7 MB |
|
|
z3-4.12.6-x64-ubuntu-22.04-bin
|
11.8 MB |
|
|
z3-4.12.6-x64-windows-2019-bin
|
11.1 MB |
|
|
z3-4.12.6-x64-windows-2022-bin
|
11.1 MB |
|
|
z3-4.8.5-x64-ubuntu-20.04-bin
|
9.26 MB |
|
|
z3-4.8.5-x64-ubuntu-22.04-bin
|
9.36 MB |
|
|
z3-4.8.5-x64-windows-2019-bin
|
8.98 MB |
|
|
z3-4.8.5-x64-windows-2022-bin
|
8.98 MB |
|