fix: Remove 4.4 DDB and KMS patches, abstract test to work on later Dafny versions #1737
pull.yml
on: pull_request
getVersion
/
getDafnyVersion
10s
getVerifyVersion
/
getDafnyVerifyVersion
6s
Matrix: pr-interop-test / generateEncryptVectors
pr-ci-format
/
format_java_misc
11s
Matrix: pr-ci-codegen / code-generation
Matrix: pr-ci-format / format_projects
Matrix: pr-ci-java / testJava
Matrix: pr-ci-net / testDotNet
Matrix: pr-ci-verification / verification
Matrix: pr-interop-test / testInteroperablity
Annotations
496 warnings