Skip to content
Test

[Z3] Remove unused ctx instvar from Z3Datatype #1209

Sign in to view logs

[Z3] Remove unused ctx instvar from Z3Datatype

[Z3] Remove unused ctx instvar from Z3Datatype #1209

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Z3 bindings only - pharo, ubuntu-latest
1m 19s
Z3 bindings only - stx, ubuntu-latest
32s
Full - pharo, ubuntu-latest
1m 21s
3m 12s