summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorGravatar Matthias Lucas Jaros <jarlucmat@mailbox.org>2025-10-24 08:20:12 +0200
committerGravatar Matthias Lucas Jaros <jarlucmat@mailbox.org>2025-10-24 08:20:12 +0200
commit80b4d4065fe7cd259d767b4439db7ed0da23880a (patch)
treef0e86edfa1d28934fe012ad81ddc5dfc22aa70f7 /Jenkinsfile
parent56f53d5e21e5044041c910f98f5eb2c5fd7fce2b (diff)
Fix build
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile2
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