Skip to content

Daily CI

Daily CI #93

Annotations

1 warning

daily-ci-verification  /  verification (StructuredEncryption, macos-13)

succeeded Nov 18, 2024 in 7m 59s
Set up job
6s
Run actions/checkout@v3
28s
Setup Dafny
24s
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 StructuredEncryption Dafny code
6m 52s
Check solver resource use
3s
Post Setup .NET Core SDK '6.0.x'
0s
Post Setup Dafny
0s
Post Run actions/checkout@v3
1s
Complete job
0s