Skip to content
solver-builds

Remove Z3 4.8.5 #15

Sign in to view logs

Remove Z3 4.8.5

Remove Z3 4.8.5 #15

Triggered via push April 10, 2024 16:31
@atombatomb
pushed c190189
main
Status Success
Total duration 46m 23s
Artifacts 20

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
z3-4.12.1-arm64-macos-11-bin Expired
7.81 MB
z3-4.12.1-arm64-macos-12-bin Expired
7.83 MB
z3-4.12.1-arm64-macos-13-bin Expired
7.82 MB
z3-4.12.1-x64-macos-11-bin Expired
8.81 MB
z3-4.12.1-x64-macos-12-bin Expired
8.73 MB
z3-4.12.1-x64-macos-13-bin Expired
8.67 MB
z3-4.12.1-x64-ubuntu-20.04-bin Expired
11.5 MB
z3-4.12.1-x64-ubuntu-22.04-bin Expired
11.7 MB
z3-4.12.1-x64-windows-2019-bin Expired
11 MB
z3-4.12.1-x64-windows-2022-bin Expired
11 MB
z3-4.12.6-arm64-macos-11-bin Expired
7.86 MB
z3-4.12.6-arm64-macos-12-bin Expired
7.89 MB
z3-4.12.6-arm64-macos-13-bin Expired
7.87 MB
z3-4.12.6-x64-macos-11-bin Expired
8.84 MB
z3-4.12.6-x64-macos-12-bin Expired
8.78 MB
z3-4.12.6-x64-macos-13-bin Expired
8.71 MB
z3-4.12.6-x64-ubuntu-20.04-bin Expired
11.7 MB
z3-4.12.6-x64-ubuntu-22.04-bin Expired
11.8 MB
z3-4.12.6-x64-windows-2019-bin Expired
11.1 MB
z3-4.12.6-x64-windows-2022-bin Expired
11.1 MB