Dafny Interoperability Test #28
dafny-interop.yml
on: workflow_dispatch
getMplHeadVersion
/
getMplHeadVersion
22s
Matrix: dafny-interop-net-examples / dotNetExamples
Matrix: dafny-interop-net-test-vectors / testDotNet
Matrix: dafny-interop-net / testDotNet
Matrix: dafny-interop-java-examples / testExamplesJava
Matrix: dafny-interop-java-test-vectors / testJava
Matrix: dafny-interop-java / testJava
Annotations
87 warnings