Skip to content

Dafny Interoperability Test #29

Dafny Interoperability Test

Dafny Interoperability Test #29

Annotations

2 errors

dafny-interop-java-test-vectors  /  testJava (TestVectors, 8, ubuntu-latest)

failed Oct 7, 2024 in 3m 32s
Set up job
3s
Setup DynamoDB Local
7s
Configure AWS Credentials
0s
Run actions/checkout@v3
21s
Setup MPL Dafny
9s
Update MPL submodule
0s
Setup Java 8
2s
Build MPL with Dafny 4.8.0
2m 39s
Setup DBESDK Dafny
4s
Update project.properties if using MPL HEAD
0s
Build DynamoDbEncryption implementation
1s
Build TestVectors implementation
0s
Test TestVectors
0s
Post Setup DBESDK Dafny
0s
Post Setup Java 8
0s
Post Setup MPL Dafny
0s
Post Run actions/checkout@v3
0s
Post Configure AWS Credentials
0s
Complete job
0s