Dafny Interoperability Test #4
dafny_interop.yml
on: workflow_dispatch
Matrix: dafny-interop-net-test-vectors / generate_vectors
Matrix: dafny-interop-net-test-vectors / decrypt_python_vectors
Matrix: dafny-interop-net / testDotNet
Matrix: dafny-interop-net-test-vectors / decrypt_net_vectors_with_js
Annotations
9 errors and 115 warnings