Skip to content

testVector in CI

testVector in CI #126

Triggered via push March 13, 2025 14:50
Status Failure
Total duration 8m 54s
Artifacts

push.yml

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

Annotations

10 errors and 2 warnings
pr-ci-go / testGo (TestVectors, ubuntu-22.04, 1.23)
undefined: AwsCryptographyMaterialProvidersTypes
pr-ci-go / testGo (TestVectors, ubuntu-22.04, 1.23)
undefined: AwsCryptographyMaterialProvidersTypes
pr-ci-go / testGo (TestVectors, ubuntu-22.04, 1.23)
undefined: AwsCryptographyMaterialProvidersTypes
pr-ci-go / testGo (TestVectors, ubuntu-22.04, 1.23)
undefined: AwsCryptographyMaterialProvidersTypes
pr-ci-go / testGo (TestVectors, ubuntu-22.04, 1.23)
undefined: AwsCryptographyMaterialProvidersTypes
pr-ci-go / testGo (TestVectors, ubuntu-22.04, 1.23)
undefined: AwsCryptographyMaterialProvidersTypes
pr-ci-go / testGo (TestVectors, ubuntu-22.04, 1.23)
undefined: AwsCryptographyKeyStoreTypes
pr-ci-go / testGo (TestVectors, ubuntu-22.04, 1.23)
undefined: AwsCryptographyMaterialProvidersTypes
pr-ci-go / testGo (TestVectors, ubuntu-22.04, 1.23)
undefined: AwsCryptographyMaterialProvidersTypes
pr-ci-go / testGo (TestVectors, ubuntu-22.04, 1.23)
undefined: AwsCryptographyKeyStoreTypes
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
pr-ci-go / testGo (TestVectors, 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