diff --git a/build.gradle b/build.gradle index c3b3cc20462c76659efc5e4fabe3d196b8b6034b..83bdfc79e66e9469c28d08e0bda497f98fc6fe66 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/nightly/probcli_${n}.zip" + def url = "https://stups.hhu-hosting.de/downloads/prob/cli/releases/1.13.0/probcli_${n}.zip" download(url, targetzip) FileTree zip = zipTree(targetzip) copy {