Skip to content
make-tests

Re-enable symbolic SMGs (last merge broke engine switch). #25

Sign in to view logs

Re-enable symbolic SMGs (last merge broke engine switch).

Re-enable symbolic SMGs (last merge broke engine switch). #25

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (9)
7m 35s
build (11)
8m 9s
build (15)
6m 50s
22m 34s