diff options
| author | 2025-10-24 08:20:12 +0200 | |
|---|---|---|
| committer | 2025-10-24 08:20:12 +0200 | |
| commit | 80b4d4065fe7cd259d767b4439db7ed0da23880a (patch) | |
| tree | f0e86edfa1d28934fe012ad81ddc5dfc22aa70f7 | |
| parent | 56f53d5e21e5044041c910f98f5eb2c5fd7fce2b (diff) | |
Fix build
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 0846efb..3392df7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,7 +8,7 @@ pipeline { // 👇 Fill these for your setup environment { - GIT_URL = '/var/git/git-server' + GIT_URL = '/var/git/git-server.git' GIT_BRANCH = 'trunk' GIT_CREDENTIALS = '' // Jenkins credentialsId (leave empty for public) REGISTRY = 'docker.it-jaros.com' // e.g. ghcr.io/you or registry.example.com/namespace |
