From 3c581d26f1ebf1537320983242976a5c179542bc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=A1clav=20Pavl=C3=ADn?= <vaclav.pavlin@gmail.com>
Date: Fri, 12 May 2023 16:36:16 +0200
Subject: [PATCH] Add Jenkinsfile to produce the builder images

---
 ci/Jenkinsfile.builders | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 ci/Jenkinsfile.builders

diff --git a/ci/Jenkinsfile.builders b/ci/Jenkinsfile.builders
new file mode 100644
index 000000000..7260e301c
--- /dev/null
+++ b/ci/Jenkinsfile.builders
@@ -0,0 +1,34 @@
+pipeline {
+  agent { label 'linux' }
+
+  options {
+    timestamps()
+    timeout(time: 20, unit: 'MINUTES')
+    buildDiscarder(logRotator(
+      numToKeepStr: '10',
+      daysToKeepStr: '30',
+    ))
+  }
+
+  parameters {
+    string(
+      name: 'REPOSITORY',
+      description: 'Name of container registry repository',
+      defaultValue: params.REPOSITORY ?: 'wakuorg',
+    )
+  }
+
+  stages {
+    stage('Build & Push') {
+      steps {
+        withDockerRegistry([credentialsId: "dockerhub-vacorgbot-api-token", url: ""]) {
+          dir("docker/base") {
+            sh "./build.sh --registry docker.io --repository ${params.REPOSITORY} --latest --push all"
+          }
+        }
+      }
+    }
+  } // stages
+
+} // pipeline
+