Skip to content
Test Z3

Allow using Z3 in parallel mode (Closes #205) #285

Sign in to view logs

Allow using Z3 in parallel mode (Closes #205)

Allow using Z3 in parallel mode (Closes #205) #285

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-z3
15m 44s
15m 44s