Skip to content
Test

Generalize Symbol evaluation to aid origami programming #1108

Sign in to view logs

Generalize Symbol evaluation to aid origami programming

Generalize Symbol evaluation to aid origami programming #1108

Run time

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