Back to pull request #1584

chore(deps): bump software.amazon.awssdk:bom from 2.26.25 to 2.30.3 in /DynamoDbEncryption/runtimes/java #868

Sign in to view logs

Set up job

3s

Run actions/checkout@v3

30s

Setup Dafny

25s

Update MPL submodule if using MPL HEAD

0s

Update project.properties if using MPL HEAD

0s

Setup .NET Core SDK '6.0.x'

1s

Regenerate code using smithy-dafny if necessary

0s

Verify DynamoDbItemEncryptor Dafny code

3m 36s

Check solver resource use

0s

Post Setup .NET Core SDK '6.0.x'

0s

Post Setup Dafny

0s

Post Run actions/checkout@v3

0s

Complete job

0s