Skip to content
MSVC Clang-CL Static Build

Update Z3 to 4.13.4 #2

Sign in to view logs

Update Z3 to 4.13.4

Update Z3 to 4.13.4 #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
12m 46s
12m 46s