Skip to content
Test

Add Z3Sort>>isIntSort in parallel to isBoolSort #1383

Sign in to view logs

Add Z3Sort>>isIntSort in parallel to isBoolSort

Add Z3Sort>>isIntSort in parallel to isBoolSort #1383

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Full - pharo, ubuntu-latest, z3-4.13.0
1m 22s
Z3 bindings only - pharo, ubuntu-latest, z3-4.13.0
1m 23s
Full - pharo, ubuntu-latest, z3-4.8.12
1m 25s
Z3 bindings only - pharo, ubuntu-latest, z3-4.8.12
1m 24s
Full - pharo, ubuntu-latest,
1m 22s
Z3 bindings only - pharo, ubuntu-latest,
1m 22s
Z3 bindings only - stx, ubuntu-latest, z3-4.13.0
34s
Z3 bindings only - stx, ubuntu-latest, z3-4.8.12
33s
Z3 bindings only - stx, ubuntu-latest,
24s
9m 49s