Skip to content
PR CI

chore: add rust support #505

Sign in to view logs

chore: add rust support

chore: add rust support #505

Re-run triggered September 27, 2024 21:10
@ajewellamzajewellamz
#1376
ajewell/rust
Status Failure
Total duration 35s
Artifacts –

pull.yml

on: pull_request
getVersion  /  getDafnyVersion
20s
getVersion / getDafnyVersion
getVerifyVersion  /  getDafnyVerifyVersion
15s
getVerifyVersion / getDafnyVerifyVersion
Matrix: pr-ci-codegen / code-generation
Waiting for pending jobs
Matrix: pr-ci-format / format_projects
Waiting for pending jobs
Matrix: pr-ci-java-examples / testJava
Waiting for pending jobs
Matrix: pr-ci-java-test-vectors / testJava
Waiting for pending jobs
Matrix: pr-ci-java / testJava
Waiting for pending jobs
Matrix: pr-ci-net-examples / dotNetExamples
Waiting for pending jobs
Matrix: pr-ci-net-test-vectors / testDotNet
Waiting for pending jobs
Matrix: pr-ci-net / testDotNet
Waiting for pending jobs
Matrix: pr-ci-test-vector-verification / verification
Waiting for pending jobs
Matrix: pr-ci-verification / verification
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
getVerifyVersion / getDafnyVerifyVersion
Docker build failed with exit code 1
getVersion / getDafnyVersion
Docker build failed with exit code 1
getVerifyVersion / getDafnyVerifyVersion
Docker build failed with exit code 1, back off 6.623 seconds before retry.
getVerifyVersion / getDafnyVerifyVersion
Docker build failed with exit code 1, back off 5.977 seconds before retry.
getVersion / getDafnyVersion
Docker build failed with exit code 1, back off 9.289 seconds before retry.
getVersion / getDafnyVersion
Docker build failed with exit code 1, back off 7.568 seconds before retry.