REVERT ME

Author: fdupress

.github/workflows/ci.yml

@@ -6,6 +6,7 @@ on:
       - 'main'
       - 'release'
       - 'latest'
+      - 'hotfix-docker'
     tags:
       - 'r[0-9]+.[0-9]+'
   pull_request:
@@ -258,7 +259,7 @@ jobs:
         name: docker-images
     - run: gunzip -c base-image.tar.gz | docker load
     - run: gunzip -c base-build-image.tar.gz | docker load
-      if: github.ref_name == 'main'
+      if: github.ref_name == 'main' || github.ref_name == 'hotfix-docker'
     - run: gunzip -c build-image.tar.gz | docker load
     - uses: docker/login-action@v3
       with:
@@ -271,7 +272,7 @@ jobs:
           "ghcr.io/easycrypt/ec-base-box:${{ github.ref_name }}"
         docker push "ghcr.io/easycrypt/ec-base-box:${{ github.ref_name }}"
     - name: Push base-build image
-      if: github.ref_name == 'main'
+      if: github.ref_name == 'main' || github.ref_name == 'hotfix-docker'
       run: |
         docker tag "ghcr.io/easycrypt/ec-base-build-box:$IMAGE_TAG" \
           "ghcr.io/easycrypt/ec-base-build-box:${{ github.ref_name }}"