Add Jenkinsfile to produce the builder images

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
+

docker/base/build.sh

@@ -8,6 +8,7 @@ BUILDER=
 PUSH=
 LOAD=
 LATEST=
+NO_CACHE="--no-cache"
 IMAGE_NAME="nwaku-builder"
 
 for i in `seq 1 $#`;do
@@ -39,6 +40,10 @@ for i in `seq 1 $#`;do
             shift
             LATEST="1"
             ;; 
+        "--use-cache")
+            shift
+            NO_CACHE=""
+            ;;
         *)
             break
             ;;
@@ -66,6 +71,7 @@ for arch in $(echo ${ARCH}); do
             ${BUILDER}\
             ${PUSH}\
             ${LOAD}\
+            ${NO_CACHE}\
             -t ${IMAGE_NAME}:${TAG}_${arch}\
             --build-arg USER_ID=$(id -u)\
             --build-arg GROUP_ID=$(id -g)\