[Draft] MPL V2 CI #1844
pull.yml
on: pull_request
getVersion
/
getDafnyVersion
8s
getVerifyVersion
/
getDafnyVerifyVersion
6s
Matrix: pr-interop-test / generateEncryptVectors
pr-ci-format
/
format_java_misc
12s
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-ci-verification / verification
Matrix: pr-interop-test / testInteroperablity
Annotations
50 errors and 237 warnings