chore: update for async support #942
Triggered via pull request
January 31, 2025 15:23
ajewellamz
Status
Startup failure
Total duration
–
Artifacts
–
pull.yml
on: pull_request
getVersion
/
getDafnyVersion
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-rust / testRust
Waiting for pending jobs
Matrix: pr-ci-test-vector-verification / verification
Waiting for pending jobs
Matrix: pr-ci-verification / verification
Waiting for pending jobs
pr-ci-all-required
Annotations
1 error
|
Invalid workflow file:
.github/workflows/pull.yml#L54
The workflow is not valid. In .github/workflows/pull.yml (Line: 54, Col: 11): Error from called workflow aws/aws-database-encryption-sdk-dynamodb/.github/workflows/library_rust_tests.yml@0a3644076518fa5622fcc6a5a73c528ced4594b4 (Line: 102, Col: 9): Unexpected value 'working-directory'
|