Skip to content
Test Z3

Update Z3 contraint to include 4.13 #4

Sign in to view logs

Update Z3 contraint to include 4.13

Update Z3 contraint to include 4.13 #4

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-z3
16m 50s
16m 50s