diff --git a/build.gradle b/build.gradle index b2dc4981527213c271fabfb40a50ef7a8855ce1c..30045a4d42ef9405d4c8f4313c250d86ae97e542 100644 --- a/build.gradle +++ b/build.gradle @@ -102,7 +102,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 {