chore: fix CI for Go #2433
Triggered via pull request
December 2, 2025 18:24
rishav-karanjit
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#L32
The workflow is not valid. .github/workflows/pull.yml (Line: 32, Col: 3): Error calling workflow 'aws/aws-database-encryption-sdk-dynamodb/.github/workflows/ci_test_java.yml@3745d34639c02a7c1032cfd5f51cbf3ad0e94bac'. The nested job 'testJava' is requesting 'id-token: write', but is only allowed 'id-token: none'.
|