Skip to content
Back to pull request #1574

Change Machdep based on SV-COMP architecture #1811

Sign in to view logs

Change Machdep based on SV-COMP architecture

Change Machdep based on SV-COMP architecture #1811

Run time

Learn about OS pricing on GitHub Actions
Job Run time
api-build (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
4m 13s
api-deploy
0s
4m 13s