Skip to content

Dafny Interoperability Test #40

Dafny Interoperability Test

Dafny Interoperability Test #40

Annotations

2 errors

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

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