feat(dafny): use kms:GenerateDataKey for branch key creation and version hv-2
#4996
josecorellapull.yml
on: pull_request
getVersion
/
getDafnyVersion
7s
getVerifyVersion
/
getDafnyVerifyVersion
10s
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-python / testPython
Matrix: pr-interop-test / generateEncryptVectors
pr-ci-format
/
format_java_misc
20s
pr-ci-examples
/
java
4m 5s
Matrix: pr-ci-verification / verification
Matrix: pr-interop-test / testInteroperablity
pr-ci-all-required
4s
Annotations
2 errors and 20 warnings