Skip to content

ci codegen

ci codegen #115

Triggered via push March 12, 2025 20:54
Status Failure
Total duration 6m 51s
Artifacts

push.yml

on: push
getVersion  /  getDafnyVersion
6s
getVersion / getDafnyVersion
getVerifyVersion  /  getDafnyVerifyVersion
6s
getVerifyVersion / getDafnyVerifyVersion
Matrix: pr-ci-go / testGo
Matrix: push-ci-codegen / code-generation
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
pr-ci-go / testGo (DynamoDbEncryption, ubuntu-22.04, 1.23)
Process completed with exit code 2.
push-ci-codegen / code-generation (TestVectors, 6.0.x, 1.23, ubuntu-latest)
Process completed with exit code 2.
push-ci-codegen / code-generation (DynamoDbEncryption, 6.0.x, 1.23, ubuntu-latest)
Process completed with exit code 2.
pr-ci-go / testGo (DynamoDbEncryption, ubuntu-22.04, 1.23)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-database-encryption-sdk-dynamodb/aws-database-encryption-sdk-dynamodb. Supported file pattern: go.sum
push-ci-codegen / code-generation (TestVectors, 6.0.x, 1.23, ubuntu-latest)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-database-encryption-sdk-dynamodb/aws-database-encryption-sdk-dynamodb. Supported file pattern: go.sum
push-ci-codegen / code-generation (DynamoDbEncryption, 6.0.x, 1.23, ubuntu-latest)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-database-encryption-sdk-dynamodb/aws-database-encryption-sdk-dynamodb. Supported file pattern: go.sum