Skip to content
Push CI

Merge branch 'Golang/dev' of https://github.com/aws/aws-database-encr… #132

Sign in to view logs

Merge branch 'Golang/dev' of https://github.com/aws/aws-database-encr…

Merge branch 'Golang/dev' of https://github.com/aws/aws-database-encr… #132

Run time

Learn about OS pricing on GitHub Actions
Job Run time
getVerifyVersion / getDafnyVerifyVersion
6s
getVersion / getDafnyVersion
4s
pr-ci-go / testGo (DynamoDbEncryption, ubuntu-22.04, 1.23)
7m 15s
pr-ci-go / testGo (TestVectors, ubuntu-22.04, 1.23)
25m 36s
33m 1s