Dafny Interoperability Test #5
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
6 errors and 140 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
macos-12_vector_artifact
|
28.6 MB |
|
ubuntu-latest_vector_artifact
|
28.6 MB |
|