Skip to content
Test

[cosmetic] Use typographically-correct selector for #goS′ #1348

Sign in to view logs

[cosmetic] Use typographically-correct selector for #goS′

[cosmetic] Use typographically-correct selector for #goS′ #1348

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Full - pharo, ubuntu-latest
1m 20s
Z3 bindings only - pharo, ubuntu-latest
1m 26s
Z3 bindings only - stx, ubuntu-latest
34s
3m 20s