Skip to content
Run evaluation

Split further #27

Sign in to view logs

Split further

Split further #27

Triggered via push January 14, 2025 16:40
@JonasAlaifJonasAlaif
pushed 90ebe1d
cav-eval
Status Cancelled
Total duration 5m 12s
Artifacts 11

eval.yml

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

Annotations

25 errors and 1 warning
eval (dafny, in in dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/10- dafny...
Process completed with exit code 2.
eval (smt-comp, gt smt-comp/non-incremental/QF_NRA/, -3)
The run was canceled by @JonasAlaif.
eval (smt-comp, gt smt-comp/non-incremental/QF_NRA/, -3)
Process completed with exit code 2.
eval (smt-comp, gt smt-comp/non-incremental/QF_NRA/, -3)
The operation was canceled.
eval (carbon, gt carbon/silver/src/test/resources/all/, -2)
The run was canceled by @JonasAlaif.
eval (carbon, gt carbon/silver/src/test/resources/all/, -2)
The operation was canceled.
eval (carbon, gt carbon/silver/src/test/resources/all/, -2)
Process completed with exit code 1.
eval (dafny, lt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/10-, -1)
The run was canceled by @JonasAlaif.
eval (dafny, lt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/10-, -1)
The operation was canceled.
eval (carbon, lt carbon/silver/src/test/resources/all/, -1)
The run was canceled by @JonasAlaif.
eval (carbon, lt carbon/silver/src/test/resources/all/, -1)
The operation was canceled.
eval (dafny, gt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/contract-wrappers/, -3)
The run was canceled by @JonasAlaif.
eval (dafny, gt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/contract-wrappers/, -3)
Process completed with exit code 1.
eval (dafny, gt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/contract-wrappers/, -3)
The operation was canceled.
eval (smt-comp, lt smt-comp/non-incremental/, -1)
The run was canceled by @JonasAlaif.
eval (smt-comp, lt smt-comp/non-incremental/, -1)
The operation was canceled.
eval (verus)
The run was canceled by @JonasAlaif.
eval (verus)
The operation was canceled.
eval (silicon)
The run was canceled by @JonasAlaif.
eval (silicon)
The operation was canceled.
eval (smt-comp, in smt-comp/non-incremental/ smt-comp/non-incremental/QF_NRA/, -2)
The run was canceled by @JonasAlaif.
eval (smt-comp, in smt-comp/non-incremental/ smt-comp/non-incremental/QF_NRA/, -2)
Process completed with exit code 1.
eval (smt-comp, in smt-comp/non-incremental/ smt-comp/non-incremental/QF_NRA/, -2)
The operation was canceled.
eval (fstar)
The run was canceled by @JonasAlaif.
eval (fstar)
The operation was canceled.
eval (dafny, in in dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/10- dafny...
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
6.04 KB
carbon-2
692 KB
dafny-1
1.61 MB
dafny-2
182 Bytes
dafny-3
415 KB
fstar
2.47 MB
silicon
22.2 KB
smt-comp-1
1.92 MB
smt-comp-2
14.7 MB
smt-comp-3
188 Bytes
verus
39.4 KB