Skip to content

fix: Remove 4.4 DDB and KMS patches, abstract test to work on later Dafny versions #1737

fix: Remove 4.4 DDB and KMS patches, abstract test to work on later Dafny versions

fix: Remove 4.4 DDB and KMS patches, abstract test to work on later Dafny versions #1737

Annotations

10 warnings

pr-ci-java  /  testJava (ComAmazonawsKms, ubuntu-latest)

succeeded Aug 20, 2024 in 2m 29s