Skip to content

CI MPL HEAD

CI MPL HEAD #119

Annotations

3 errors and 11 warnings

mpl-head-ci-net-test-vectors  /  testDotNet (TestVectors, 6.0.x, ubuntu-latest)

failed Nov 26, 2024 in 3m 29s
Set up job
3s
Setup DynamoDB Local
7s
Configure AWS Credentials
0s
Run actions/checkout@v3
15s
Setup Dafny
13s
Update MPL submodule if using MPL HEAD
2s
Regenerate code using smithy-dafny if necessary
0s
Setup .NET Core SDK 6.0.x
1s
Build TestVectors implementation
2m 6s
Test TestVectors on .NET 6.0
37s
Post Setup .NET Core SDK 6.0.x
0s
Post Setup Dafny
0s
Post Run actions/checkout@v3
0s
Post Configure AWS Credentials
0s
Complete job
0s