chore(deps): Bump to MPL 1.7, Smithy-Dafny head #455
Triggered via pull request
September 25, 2024 19:05
lucasmcdonald3
Status
Failure
Total duration
1m 15s
Artifacts
–
pull.yml
on: pull_request
getVersion
/
getDafnyVersion
59s
getVerifyVersion
/
getDafnyVerifyVersion
33s
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
Annotations
2 errors and 8 warnings
|
getVerifyVersion / getDafnyVerifyVersion
Name or service not known (internal-api.service.iad.github.net:443)
|
|
getVersion / getDafnyVersion
Name or service not known (internal-api.service.iad.github.net:443)
|
|
getVerifyVersion / getDafnyVerifyVersion
Failed to download action 'https://internal-api.service.iad.github.net/repos/christian-draeger/read-properties/tarball/908f99d3334be3802ec7cb528395a69d19914e7b'. Error: Name or service not known (internal-api.service.iad.github.net:443)
|
|
getVerifyVersion / getDafnyVerifyVersion
Back off 19.625 seconds before retry.
|
|
getVerifyVersion / getDafnyVerifyVersion
Failed to download action 'https://internal-api.service.iad.github.net/repos/christian-draeger/read-properties/tarball/908f99d3334be3802ec7cb528395a69d19914e7b'. Error: Name or service not known (internal-api.service.iad.github.net:443)
|
|
getVerifyVersion / getDafnyVerifyVersion
Back off 11 seconds before retry.
|
|
getVersion / getDafnyVersion
Failed to download action 'https://internal-api.service.iad.github.net/repos/christian-draeger/read-properties/tarball/908f99d3334be3802ec7cb528395a69d19914e7b'. Error: Name or service not known (internal-api.service.iad.github.net:443)
|
|
getVersion / getDafnyVersion
Back off 29.191 seconds before retry.
|
|
getVersion / getDafnyVersion
Failed to download action 'https://internal-api.service.iad.github.net/repos/christian-draeger/read-properties/tarball/908f99d3334be3802ec7cb528395a69d19914e7b'. Error: Name or service not known (internal-api.service.iad.github.net:443)
|
|
getVersion / getDafnyVersion
Back off 28.543 seconds before retry.
|