diff --git a/.github/workflows/ci_test_vector_net.yml b/.github/workflows/ci_test_vector_net.yml index c31ca8969..c98fb33ed 100644 --- a/.github/workflows/ci_test_vector_net.yml +++ b/.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 diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml index 139528dd3..bc8500c3d 100644 --- a/.github/workflows/dafny_interop_test_vector_net.yml +++ b/.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