Fix Release Workflow (#384)

Author: tarun-mitruka

.github/workflows/createRelease.yml

@@ -70,16 +70,20 @@ jobs:
           git clone https://github.com/ikarus-project/ikarus-project.github.io.git
           cd ikarus-project.github.io
           git fetch origin gh-pages --depth=1
+          git checkout -B gh-pages origin/gh-pages
           cp -R ../repo/build_docs/ .
           cp -R ../repo/ikarus/ .
           git config --local user.email "[email protected]"
           git config --local user.name "IkarusBot"
           cd build_docs/docs
           export MKDOCSOFFLINE=false
-          mike deploy v$NEWVERSION  --config-file mkdocs.insiders.yml
-          mike deploy dev  --config-file mkdocs.insiders.yml
+          mike deploy v$NEWVERSION --config-file mkdocs.insiders.yml
+          mike deploy dev --config-file mkdocs.insiders.yml
+          cd ../../
           git remote set-url origin https://${{ secrets.ORGANIZATION_TOKEN }}@github.com/ikarus-project/ikarus-project.github.io.git
-          git push origin gh-pages 
+          # Pull first to avoid non-fast-forward push issues
+          git pull origin gh-pages --rebase
+          git push origin gh-pages
           export MKDOCSOFFLINE=true
 
       - uses: actions/cache@v4
@@ -104,7 +108,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 +118,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 +158,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