m

Author: ajewellamz

.github/workflows/dafny_interop_test_vector_net.yml

@@ -108,7 +108,7 @@ jobs:
       - name: Test TestVectors on .NET 6.0
         working-directory: ./${{matrix.library}}/runtimes/net
         run: |
-          cp ../java/decrypt_java_*.json ../java/decrypt_dotnet_*.json .
+          cp ../java/decrypt_java_*.json ../java/decrypt_dotnet_*.json ../java/decrypt_rust_*.json .
           dotnet run
           cp ../java/*.json .
           dotnet run --framework net6.0