From 3b677448dbac983ba39da8ff97ea8c757c2840fb Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Thu, 11 Apr 2024 13:17:40 +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 c0d0efe9..ba42d1b2 100644 --- a/build.gradle +++ b/build.gradle @@ -87,7 +87,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.13.0/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