ci: use Jenkins harbor credential for image push auth

Jenkinsfile

@@ -93,21 +93,23 @@ spec:
     stage('Prep toolchain') {
       steps {
         container('builder') {
-          sh '''
+          withCredentials([usernamePassword(credentialsId: 'harbor-robot', usernameVariable: 'HARBOR_USERNAME', passwordVariable: 'HARBOR_PASSWORD')]) {
-            set -euo pipefail
+            sh '''
-            for attempt in 1 2 3 4 5; do
+              set -euo pipefail
-              if apk add --no-cache bash git jq curl; then
+              for attempt in 1 2 3 4 5; do
-                break
+                if apk add --no-cache bash git jq curl; then
-              fi
+                  break
-              if [ "$attempt" -eq 5 ]; then
+                fi
-                echo "apk add failed after ${attempt} attempts" >&2
+                if [ "$attempt" -eq 5 ]; then
-                exit 1
+                  echo "apk add failed after ${attempt} attempts" >&2
-              fi
+                  exit 1
-              sleep $((attempt * 2))
+                fi
-            done
+                sleep $((attempt * 2))
-            mkdir -p /root/.docker
+              done
-            cp /docker-config/config.json /root/.docker/config.json
+              mkdir -p /root/.docker
-          '''
+              printf '%s' "${HARBOR_PASSWORD}" | docker login registry.bstein.dev -u "${HARBOR_USERNAME}" --password-stdin
+            '''
+          }
         }
       }
     }