Fix Release Workflow (#384)

Author: tarun-mitruka

.github/workflows/createRelease.yml

@@ -104,7 +104,6 @@ jobs:
           curl -fsSL https://download.docker.com/linux/debian/gpg | gpg --dearmor -o /etc/apt/keyrings/docker.gpg
           chmod a+r /etc/apt/keyrings/docker.gpg
 
-          # Add the repository to Apt sources:
           echo \
           "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/docker.gpg] https://download.docker.com/linux/debian \
           $(. /etc/os-release && echo "$VERSION_CODENAME") stable" | \
@@ -115,28 +114,27 @@ jobs:
         run: |
           docker system prune -af
           df -h  # Optional: shows how much space was freed
-      - name: Download, tag, push and save docker images for new release
-        run: |
-          docker pull ikarusproject/ikarus-dev:latest
-          docker tag ikarusproject/ikarus-dev:latest ikarusproject/ikarus-dev:v$NEWVERSION
-
-          docker pull ikarusproject/ikarus-dev-gcc:latest
-          docker tag ikarusproject/ikarus-dev-gcc:latest ikarusproject/ikarus-dev-gcc:v$NEWVERSION
 
-          docker pull ikarusproject/ikarus-dev-clang:latest
-          docker tag ikarusproject/ikarus-dev-clang:latest ikarusproject/ikarus-dev-clang:$NEWVERSION
-
-          docker pull ikarusproject/ikarus:latest
-          docker tag ikarusproject/ikarus:latest ikarusproject/ikarus:v$NEWVERSION
+      - name: Pull, tag, push, and optionally save docker images one by one
+        shell: bash
+        run: |
+          IMAGES=("ikarus-dev" "ikarus-dev-gcc" "ikarus-dev-clang" "ikarus" "ikarus-gcc" "ikarus-clang")
 
-          docker pull ikarusproject/ikarus-gcc:latest
-          docker tag ikarusproject/ikarus-gcc:latest ikarusproject/ikarus-gcc:v$NEWVERSION
+          for IMAGE in "${IMAGES[@]}"; do
+            echo "Processing image: $IMAGE"
+            docker pull ikarusproject/$IMAGE:latest
+            docker tag ikarusproject/$IMAGE:latest ikarusproject/$IMAGE:v$NEWVERSION
+            docker push ikarusproject/$IMAGE:v$NEWVERSION
 
-          docker pull ikarusproject/ikarus-clang:latest
-          docker tag ikarusproject/ikarus-clang:latest ikarusproject/ikarus-clang:v$NEWVERSION
+            if [[ "$IMAGE" == "ikarus" ]]; then
+              docker save ikarusproject/$IMAGE:v$NEWVERSION > ikarus-docker-v$NEWVERSION.tar
+              gzip -c9 ikarus-docker-v$NEWVERSION.tar > ikarus-docker-v$NEWVERSION.tar.gz
+            fi
 
-          docker save ikarusproject/ikarus:v$NEWVERSION     > ikarus-docker-v$NEWVERSION.tar
-          gzip -c9 ikarus-docker-v$NEWVERSION.tar > ikarus-docker-v$NEWVERSION.tar.gz
+            docker image rm ikarusproject/$IMAGE:latest || true
+            docker image rm ikarusproject/$IMAGE:v$NEWVERSION || true
+            echo "Done with $IMAGE"
+          done
 
       - name: Checkout ikarus-examples and create tag, push it, zip it
         run: |
@@ -156,12 +154,6 @@ jobs:
           cd ../ikarus-examples-v$NEWVERSION
           git push https://${{ secrets.ORGANIZATION_TOKEN }}@github.com/ikarus-project/ikarus-examples.git v$NEWVERSION
           cd .. 
-          docker push ikarusproject/ikarus-dev:v$NEWVERSION  
-          docker push ikarusproject/ikarus-dev-gcc:v$NEWVERSION  
-          docker push ikarusproject/ikarus-dev-clang:v$NEWVERSION  
-          docker push ikarusproject/ikarus:v$NEWVERSION
-          docker push ikarusproject/ikarus-gcc:v$NEWVERSION
-          docker push ikarusproject/ikarus-clang:v$NEWVERSION
           cd repo
           git push origin main
           git push origin v$NEWVERSION