Skip to content

Non Prod Daily CI

Non Prod Daily CI #9

Triggered via schedule December 3, 2025 18:11
Status Startup failure
Total duration
Artifacts

non-prod.yml

on: schedule
getVersion  /  getDafnyVersion
getVersion / getDafnyVersion
getVerifyVersion  /  getDafnyVerifyVersion
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-go / testGo
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
pr-ci-all-required
Fit to window
Zoom out
Zoom in

Annotations

1 error
Invalid workflow file: .github/workflows/non-prod.yml#L35
The workflow is not valid. .github/workflows/non-prod.yml (Line: 35, Col: 3): Error calling workflow 'aws/aws-database-encryption-sdk-dynamodb/.github/workflows/ci_test_java.yml@1b961b585e1b2491424b078add248bf7f319f2a3'. The nested job 'testJava' is requesting 'id-token: write', but is only allowed 'id-token: none'.