Add batch image build in workflow

.github/workflows/build_and_push_to_docker.yml

@@ -71,6 +71,34 @@ jobs:
         EXTENSION: ${{ matrix.EXTENSIONS }}
         DOCKER_NAME: "renku/renkulab"
 
+  build-py-batch:
+    needs: build-py
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Docker Login
+      uses: Azure/docker-login@v1
+      with:
+        username: ${{ secrets.DOCKER_USERNAME }}
+        password: ${{ secrets.DOCKER_PASSWORD }}
+
+    - uses: actions/checkout@v2
+    - name: Build renku project python-based docker image for batch execution
+      run: |
+        if [[ ${{ github.ref }} == refs/tags* ]]; then
+          export LABEL=$(echo ${{ github.ref }} | cut -d / -f 3)
+        else
+          export LABEL=$(echo ${{ github.sha }} | cut -c 1-7)
+        fi
+
+        docker build docker/batch \
+          --build-arg RENKU_BASE="$DOCKER_NAME-py:3.8-$LABEL" \
+          --build-arg BASE_IMAGE="python:3.8-slim" \
+          --tag $DOCKER_NAME-batch:$LABEL"
+        docker push $DOCKER_NAME-batch:$LABEL"
+      env:
+        DOCKER_NAME: "renku/renkulab"
+
   build-julia-ext:
     needs: build-py
     runs-on: ubuntu-latest