fix pushs

Author: henrij22

.github/workflows/build_docker_image_debian_base.yml

@@ -58,8 +58,11 @@ jobs:
         password: ${{ secrets.DOCKER_PASSWORD }}
     - name: Publish the Docker image
       run: |
-        docker push ikarusproject/debian12:latest
-        docker push ikarusproject/debian13:latest
+        if [[ "${{ matrix.debian_version }}" == "12" ]]; then
+          docker push ikarusproject/debian12:latest
+        else
+          docker push ikarusproject/debian13:latest
+        fi
 
   build-docker-dune:
     name: "Build Debian Base Image"
@@ -99,22 +102,28 @@ jobs:
           --tag ikarusproject/dunebase-${{ matrix.compiler }}-debian${{ matrix.debian_version }}:latest \
           --build-arg debianversion="${{ matrix.debian_version }}" \
           --build-arg ccompiler="${{ env.C_COMPILER }}" \
-          --build-arg cppcompiler="${{ env.CPP_COMPILER }}"
-        docker tag ikarusproject/dunebase-gcc-debian12:latest ikarusproject/dunebase-gcc:latest 
-        docker tag ikarusproject/dunebase-clang-debian12:latest ikarusproject/dunebase-clang:latest 
+          --build-arg cppcompiler="${{ env.CPP_COMPILER }}" \
+        if [[ "${{ matrix.debian_version }}" == "12" ]]; then
+          docker tag ikarusproject/dunebase-gcc-debian12:latest ikarusproject/dunebase-gcc:latest 
+          docker tag ikarusproject/dunebase-clang-debian12:latest ikarusproject/dunebase-clang:latest 
+        fi
+    
     - name: Docker Login
       uses: azure/docker-login@v1
       with:
         username: ${{ secrets.DOCKER_USERNAME }}
         password: ${{ secrets.DOCKER_PASSWORD }}
     - name: Publish the Docker image
       run: |
-        docker push ikarusproject/dunebase-gcc:latest 
-        docker push ikarusproject/dunebase-clang:latest  
-        docker push ikarusproject/dunebase-gcc-debian12:latest 
-        docker push ikarusproject/dunebase-clang-debian12:latest   
-        docker push ikarusproject/dunebase-gcc-debian13:latest 
-        docker push ikarusproject/dunebase-clang-debian13:latest   
+        if [[ "${{ matrix.debian_version }}" == "12" ]]; then
+          docker push ikarusproject/dunebase-gcc:latest 
+          docker push ikarusproject/dunebase-clang:latest  
+          docker push ikarusproject/dunebase-gcc-debian12:latest 
+          docker push ikarusproject/dunebase-clang-debian12:latest          
+        else
+          docker push ikarusproject/dunebase-gcc-debian13:latest 
+          docker push ikarusproject/dunebase-clang-debian13:latest   
+        fi       
                  
   build-docker-dev:
     name: "Build Dev Image"
@@ -154,10 +163,12 @@ jobs:
           --tag ikarusproject/ikarus-dev-${{ matrix.compiler }}-debian${{ matrix.debian_version }}:latest \
           --build-arg compiler="${{ matrix.compiler }}-debian${{ matrix.debian_version }}" \
           --build-arg ccompiler="${{ env.C_COMPILER }}" \
-          --build-arg cppcompiler="${{ env.CPP_COMPILER }}"
-        docker tag ikarusproject/ikarus-dev-gcc-debian12:latest ikarusproject/ikarus-dev:latest # set the latest tag to the gcc image
-        docker tag ikarusproject/ikarus-dev-gcc-debian12:latest ikarusproject/ikarus-dev-gcc:latest 
-        docker tag ikarusproject/ikarus-dev-clang-debian12:latest ikarusproject/ikarus-dev-clang:latest 
+          --build-arg cppcompiler="${{ env.CPP_COMPILER }}" \
+        if [[ "${{ matrix.debian_version }}" == "12" ]]; then
+          docker tag ikarusproject/ikarus-dev-gcc-debian12:latest ikarusproject/ikarus-dev:latest # set the latest tag to the gcc image
+          docker tag ikarusproject/ikarus-dev-gcc-debian12:latest ikarusproject/ikarus-dev-gcc:latest 
+          docker tag ikarusproject/ikarus-dev-clang-debian12:latest ikarusproject/ikarus-dev-clang:latest 
+        fi 
     
     - name: Docker Login
       uses: azure/docker-login@v1
@@ -166,11 +177,14 @@ jobs:
         password: ${{ secrets.DOCKER_PASSWORD }}
     - name: Publish the Docker image
       run: |
-        docker push ikarusproject/ikarus-dev-gcc:latest
-        docker push ikarusproject/ikarus-dev-clang:latest
-        docker push ikarusproject/ikarus-dev:latest
-        docker push ikarusproject/ikarus-dev-gcc-debian13:latest
-        docker push ikarusproject/ikarus-dev-clang-debian13:latest
-        docker push ikarusproject/ikarus-dev-gcc-debian12:latest
-        docker push ikarusproject/ikarus-dev-clang-debian12:latest
+        if [[ "${{ matrix.debian_version }}" == "12" ]]; then
+          docker push ikarusproject/ikarus-dev-gcc:latest
+          docker push ikarusproject/ikarus-dev-clang:latest
+          docker push ikarusproject/ikarus-dev:latest   
+          docker push ikarusproject/ikarus-dev-gcc-debian12:latest
+          docker push ikarusproject/ikarus-dev-clang-debian12:latest    
+        else
+          docker push ikarusproject/ikarus-dev-gcc-debian13:latest
+          docker push ikarusproject/ikarus-dev-clang-debian13:latest
+        fi