Skip to content
Run evaluation

Split further #29

Sign in to view logs

Split further

Split further #29

Triggered via push January 14, 2025 22:44
@JonasAlaifJonasAlaif
pushed e514052
cav-eval
Status Success
Total duration 4h 11m 49s
Artifacts 12

eval.yml

on: push
Matrix: eval
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
eval (verus)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
eval (fstar, ge fstar/examples/, -2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
eval (silicon)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
eval (carbon, lt carbon/silver/src/test/resources/capture_avoidance/, -1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
eval (carbon, ge carbon/silver/src/test/resources/capture_avoidance/, -2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
eval (dafny, lt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/11-, -1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
eval (fstar, lt fstar/examples/, -1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
eval (dafny, ge dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/contract-wrappers/, -3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
eval (smt-comp, in smt-comp/incremental/QF_BVLRA/20240414-mapf_r/soc/coef_2/ smt-comp/non-increme...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
eval (smt-comp, lt smt-comp/incremental/QF_BVLRA/20240414-mapf_r/soc/coef_2/, -1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
eval (smt-comp, ge smt-comp/non-incremental/QF_SLIA/, -3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
eval (dafny, in dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/11- dafny/So...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
carbon-1
176 KB
carbon-2
156 KB
dafny-1
266 KB
dafny-2
95 KB
dafny-3
737 KB
fstar-1
13.8 KB
fstar-2
46.2 KB
silicon
168 KB
smt-comp-1
56.2 KB
smt-comp-2
62.9 KB
smt-comp-3
99.6 KB
verus
159 KB