Skip to content

try complex beacon example #740

try complex beacon example

try complex beacon example #740

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

succeeded Dec 16, 2024 in 6m 41s
Set up job
3s
Run actions/checkout@v3
24s
Setup Dafny
21s
Update MPL submodule if using MPL HEAD
0s
Update project.properties if using MPL HEAD
0s
Setup .NET Core SDK '6.0.x'
0s
Regenerate code using smithy-dafny if necessary
0s
Verify DynamoDbEncryption Dafny code
5m 44s
Check solver resource use
2s
Post Setup .NET Core SDK '6.0.x'
0s
Post Setup Dafny
0s
Post Run actions/checkout@v3
0s
Complete job
1s