diff options
Diffstat (limited to 'Jenkinsfile')
| -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} \ |