Skip to content
Back to pull request #611

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

Sign in to view logs

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 #2179

Run time

Learn about OS pricing on GitHub Actions
Job Run time
not-grep
16s
16s