chore: sync main with develop (remove release-please, rewire docker)

Brings main up to develop's content: removes the release-please workflow
and switches docker-image.yml to trigger on push to main instead of the
removed release-please workflow_run.

Author: jagalindo

.github/workflows/docker-image.yml

@@ -1,44 +1,40 @@
 name: Docker Image & deploy
 
+# Build & publish the Docker image and trigger the Render deploy whenever main
+# changes. (Previously chained to the release-please workflow via workflow_run;
+# that release workflow has been removed.)
 on:
-  workflow_run:
-    workflows: [release-please]
-    types: [completed]
+  push:
+    branches: [main]
+  workflow_dispatch:
 
 jobs:
   build-and-publish:
     runs-on: ubuntu-latest
-    if: github.event.workflow_run.conclusion == 'success'
 
     steps:
       - name: Checkout the code
-        uses: actions/checkout@v3
-
-      - name: Build the Docker image
-        run: docker build . --file Dockerfile --tag frabenrui/flamapy-ide:${{ github.ref_name }}
+        uses: actions/checkout@v4
 
       - name: Log in to DockerHub
         uses: docker/login-action@v3
         with:
           username: ${{ secrets.DOCKERHUB_USERNAME }}
           password: ${{ secrets.DOCKERHUB_API_TOKEN }}
 
-      - name: Push the Docker image
-        run: docker push frabenrui/flamapy-ide:${{ github.ref_name }}
+      - name: Build the Docker image
+        run: docker build . --file Dockerfile --tag frabenrui/flamapy-ide:latest
 
-      - name: Tag as latest
-        if: startsWith(github.ref, 'refs/tags/')
-        run: |
-          docker tag frabenrui/flamapy-ide:${{ github.ref_name }} frabenrui/flamapy-ide:latest
-          docker push frabenrui/flamapy-ide:latest
+      - name: Push the Docker image
+        run: docker push frabenrui/flamapy-ide:latest
 
   deploy:
+    needs: build-and-publish
     runs-on: ubuntu-latest
-    if: github.event.workflow_run.conclusion == 'success'
 
     steps:
       - name: Deploy
         env:
-          deploy_url: ${{secrets.RENDER_DEPLOY_HOOK_URL}}
+          deploy_url: ${{ secrets.RENDER_DEPLOY_HOOK_URL }}
         run: |
           curl "$deploy_url"