Skip to content

Commit 58b39a7

Browse files
chore(dotnet): copy all the JSON for testvectors CI (#1921)
1 parent 97fe459 commit 58b39a7

File tree

2 files changed

+2
-4
lines changed

2 files changed

+2
-4
lines changed

.github/workflows/ci_test_vector_net.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -97,7 +97,6 @@ jobs:
9797
- name: Test TestVectors on .NET 6.0
9898
working-directory: ./${{matrix.library}}/runtimes/net
9999
run: |
100-
cp ../java/decrypt_java_*.json ../java/decrypt_dotnet_*.json ../java/decrypt_rust_*.json ../java/large_records.json .
101-
dotnet run
102100
cp ../java/*.json .
101+
dotnet run
103102
dotnet run --framework net6.0

.github/workflows/dafny_interop_test_vector_net.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -108,7 +108,6 @@ jobs:
108108
- name: Test TestVectors on .NET 6.0
109109
working-directory: ./${{matrix.library}}/runtimes/net
110110
run: |
111-
cp ../java/decrypt_java_*.json ../java/decrypt_dotnet_*.json ../java/decrypt_rust_*.json .
112-
dotnet run
113111
cp ../java/*.json .
112+
dotnet run
114113
dotnet run --framework net6.0

0 commit comments

Comments
 (0)