From 57f98a6830a473452ee2cf91a719e4ea44c8567a Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Fri, 30 May 2025 12:49:39 -0700 Subject: [PATCH 1/2] auto commit --- .github/workflows/ci_test_vector_net.yml | 3 +-- .github/workflows/dafny_interop_test_vector_net.yml | 3 +-- 2 files changed, 2 insertions(+), 4 deletions(-) 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 From 0d113d4751a5e48d34047fe7f73fe062f189b637 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Fri, 30 May 2025 12:51:43 -0700 Subject: [PATCH 2/2] empty commit