Update 'Jenkinsfile'

Jenkinsfile

@@ -30,7 +30,7 @@ pipeline{
   }
   stages
   {
-    stage('Build latest') {
+    stage('Build all') {
       steps {
         sshCommand remote: remote, command: '''
         set -e
@@ -41,30 +41,15 @@ pipeline{
         cp /var/jenkins_home/workspace/nightly-antosaio/build/* antos -rf
         tree antos
         docker run --rm --privileged docker/binfmt:a7996909642ee92942dcd6cff44b9b95f08dad64
+        for dir in antos/* ; do
+          tag=$(basename $dir)
+          echo  "BUILD TAG $tag"
           docker buildx build \
             --push \
-          --build-arg tag=latest \
+            --build-arg tag=$tag \
             --platform linux/arm/v7,linux/arm64/v8,linux/amd64 \
-          --tag xsangle/antosaio:latest .
-        '''
-      }
-    }
-    stage('Build devel') {
-      steps {
-        sshCommand remote: remote, command: '''
-        set -e
-        export WORKSPACE=$(realpath "./jenkins/workspace/antosaio-docker")
-        cd $WORKSPACE
-        [ -d antos ] && rm -rf antos
-        mkdir antos
-        cp /var/jenkins_home/workspace/nightly-antosaio/build/* antos -rf
-        tree antos
-        docker run --rm --privileged docker/binfmt:a7996909642ee92942dcd6cff44b9b95f08dad64
-        docker buildx build \
-          --push \
-          --build-arg tag=devel \
-          --platform linux/arm/v7,linux/arm64/v8,linux/amd64 \
-          --tag xsangle/antosaio:devel .
+            --tag xsangle/antosaio:$tag .
+        done
         '''
       }
     }