Merge branch 'main' into Golang/reviewed

Author: rishav-karanjit

.github/workflows/ci_test_vector_net.yml

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

.github/workflows/dafny_interop_test_vector_net.yml

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