Skip to content
solver-builds

Update to Z3 4.12.2 #6

Sign in to view logs

Update to Z3 4.12.2

Update to Z3 4.12.2 #6

Triggered via push July 3, 2023 21:13
@atombatomb
pushed 31c6f3d
main
Status Failure
Total duration 17m 26s
Artifacts 5

build.yml

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

Annotations

5 errors
build (ubuntu-20.04, z3-4.12.2)
Process completed with exit code 1.
build (ubuntu-22.04, z3-4.12.2)
Process completed with exit code 1.
build (macos-12, z3-4.12.2)
Process completed with exit code 1.
build (macos-11, z3-4.12.2)
Process completed with exit code 1.
build (windows-2019, z3-4.12.2)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
z3-4.8.5-macos-11-bin Expired
16 MB
z3-4.8.5-macos-12-bin Expired
15.8 MB
z3-4.8.5-ubuntu-20.04-bin Expired
21.5 MB
z3-4.8.5-ubuntu-22.04-bin Expired
21.6 MB
z3-4.8.5-windows-2019-bin Expired
20.4 MB