Skip to content

Dafny Interoperability Test #50

Dafny Interoperability Test

Dafny Interoperability Test #50

Annotations

1 warning

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

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