diff options
| author | 2026-09-29 22:26:07 +0200 | |
|---|---|---|
| committer | 2026-09-29 22:26:07 +0200 | |
| commit | 15a2dfaa1a6b71476a393dc446e4b81c82f15302 (patch) | |
| tree | 33e479c0a6ccb39a12f2f56c29f8171f29c21b44 /Jenkinsfile | |
| parent | 005b00333c7906b3ea2850678bf8c784289e8419 (diff) | |
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 82a68df..f0b8d48 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} \ |
