Skip to content
Test

Uniquify all Sprite preterms in separate step prior elaboration #762

Sign in to view logs

Uniquify all Sprite preterms in separate step prior elaboration

Uniquify all Sprite preterms in separate step prior elaboration #762

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Full - pharo, ubuntu-latest
1m 3s
Z3 bindings only - pharo, ubuntu-latest
1m 8s
Z3 bindings only - stx, ubuntu-latest
31s
2m 42s