From 2fa53341a950259c6d33fcf9354c21aeb5a75f6f Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Mon, 24 Jul 2023 18:12:48 +0200 Subject: [PATCH] Switch to nightly version of ProB --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index 78dbcd66..c88bcc58 100644 --- a/build.gradle +++ b/build.gradle @@ -88,7 +88,7 @@ task downloadCli { def targetdir = dir + it.getValue() def targetzip = dir + "probcli_${n}.zip" - def url = "https://stups.hhu-hosting.de/downloads/prob/cli/releases/1.12.1/probcli_${n}.zip" + def url = "https://stups.hhu-hosting.de/downloads/prob/cli/nightly/probcli_${n}.zip" download(url, targetzip) FileTree zip = zipTree(targetzip) copy { -- GitLab