diff --git a/arend.yaml b/arend.yaml index 93003937..a1bec93d 100644 --- a/arend.yaml +++ b/arend.yaml @@ -1,4 +1,4 @@ -langVersion: 1.5.1 +langVersion: 1.6.0 sourcesDir: src testsDir: test binariesDir: bin diff --git a/meta/build.gradle.kts b/meta/build.gradle.kts index 400bcc57..96a5abeb 100644 --- a/meta/build.gradle.kts +++ b/meta/build.gradle.kts @@ -8,7 +8,7 @@ tasks.register("cliCheck") { group = "verification" dependsOn(projectArend.task(":cli:jarDep"), tasks.named("classes")) main = "-jar" - val jarDepPath = projectArend.projectDir.resolve("cli/build/libs/cli-1.5.1-full.jar").absolutePath + val jarDepPath = projectArend.projectDir.resolve("cli/build/libs/cli-1.6.0-full.jar").absolutePath args(jarDepPath, "-tcr") workingDir(projectDir.parent) }