diff options
| author |  Matthias Jaros <jarlucmat@mailbox.org> | 2026-09-29 22:26:08 +0200 |
|---|---|---|
| committer | Matthias Jaros <jarlucmat@mailbox.org> | 2026-09-29 22:26:08 +0200 |
| commit | 6ce837ef7bab3f73dd9ea50295cae0c17aaf2293 (patch) | |
| tree | f20d250066ce0e951920c38b8c49692fa10c80e4 | |
| parent | e7876530f8287697510cbf295945c1db40c2867e (diff) | |
| -rw-r--r-- | Jenkinsfile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 2280576..b018bf3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,12 +1,12 @@ pipeline { - agent { - label 'docker' + agent { + label 'docker' } - triggers { + triggers { pollSCM('H/5 * * * *') // every ~5 minutes cron('H 3 * * 0') // every week once - } - + } + // 👇 Fill these for your setup environment { // Project @@ -69,7 +69,7 @@ pipeline { echo "$DOCKER_PASS" | docker login $REGISTRY -u "$DOCKER_USER" --password-stdin echo "$DOCKER_HUB_PASS" | docker login -u "$DOCKER_HUB_USER" --password-stdin - + DOCKER_BUILDKIT=1 docker buildx build \ --platform ${PLATFORMS} \ --build-arg APP_VERSION=${APP_VERSION} \ |