Skip to content
locked

Change Machdep based on SV-COMP architecture #11836

Sign in to view logs

Change Machdep based on SV-COMP architecture

Change Machdep based on SV-COMP architecture #11836

Run time

Learn about OS pricing on GitHub Actions
Job Run time
extraction
0s
gobview (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda, 14)
3m 39s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
7m 37s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
20m 38s
31m 54s