Skip to content

CI MPL HEAD

CI MPL HEAD #118

Annotations

1 warning

mpl-head-ci-test-vector-verification  /  verification (macos-13)

succeeded Nov 25, 2024 in 8m 58s
Set up job
3s
Run actions/checkout@v3
29s
Setup Dafny
28s
Update MPL submodule if using MPL HEAD
2s
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 TestVectors
7m 44s
Check solver resource use
0s
Post Setup .NET Core SDK '6.0.x'
0s
Post Setup Dafny
1s
Post Run actions/checkout@v3
1s
Complete job
1s