Skip to content

Commit

Permalink
a
Browse files Browse the repository at this point in the history
  • Loading branch information
josecorella committed Nov 1, 2024
1 parent 9f9b6ca commit 15377f3
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions TestVectors/runtimes/java/build.gradle.kts
Original file line number Diff line number Diff line change
Expand Up @@ -50,12 +50,12 @@ tasks.register<JavaExec>("runTests") {
}

tasks.register<Copy>("copyKeysJSON") {
from(layout.projectDirectory.file("../../dafny/ESDK/test/keys.json"))
from(layout.projectDirectory.file("../../dafny/TestVectors/test/keys.json"))
into(layout.projectDirectory.dir("dafny/TestVectors/test"))
}

tasks.register<Copy>("copyKeysJSONCurr") {
from(layout.projectDirectory.file("../../dafny/ESDK/test/keys.json"))
from(layout.projectDirectory.file("../../dafny/ESDK/TestVectors/keys.json"))
into(layout.projectDirectory.dir("."))
}

Expand Down

0 comments on commit 15377f3

Please sign in to comment.