From bc84f75945c8003d2c55910be7a57f6b63fdf3b6 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 26 Apr 2023 22:43:04 +0200
Subject: [PATCH] Update examples download URL from www3 to hhu-hosting
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 2277d73..c42caf1 100644
--- a/build.gradle
+++ b/build.gradle
@@ -87,7 +87,7 @@ test {
}
task downloadPublicExamples(type: Download) {
- src 'https://www3.hhu.de/stups/downloads/prob/source/ProB_public_examples.tgz'
+ src 'https://stups.hhu-hosting.de/downloads/prob/source/ProB_public_examples.tgz'
dest buildDir
onlyIfModified true
}
--
GitLab