Skip to content

chore(deps): bump software.amazon.awssdk:bom from 2.26.25 to 2.28.20 in /TestVectors/runtimes/java #549

chore(deps): bump software.amazon.awssdk:bom from 2.26.25 to 2.28.20 in /TestVectors/runtimes/java

chore(deps): bump software.amazon.awssdk:bom from 2.26.25 to 2.28.20 in /TestVectors/runtimes/java #549

Annotations

1 warning

pr-ci-verification  /  verification (DynamoDbEncryption, macos-12)

succeeded Oct 11, 2024 in 8m 58s
Set up job
6s
Run actions/checkout@v3
34s
Setup Dafny
35s
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 DynamoDbEncryption Dafny code
7m 34s
Check solver resource use
1s
Post Setup .NET Core SDK '6.0.x'
0s
Post Setup Dafny
0s
Post Run actions/checkout@v3
0s
Complete job
0s