Skip to content
locked

Update sv-comp configurations according to new schema #15185

Sign in to view logs

Update sv-comp configurations according to new schema

Update sv-comp configurations according to new schema #15185

Run time

Learn about OS pricing on GitHub Actions
Job Run time
regression (macos-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
16m 24s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
8m 12s
extraction
0s
24m 36s