From 54cadb216a8cbec17146e5c190b0bc0b36f8b449 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= <fdupress@gmail.com>
Date: Fri, 5 Jun 2026 19:07:47 +0100
Subject: [PATCH] [ci] hotfix for the one untested path in docker PR

---
 .github/workflows/ci.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a6d76fe07..d1ad9d01a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -246,8 +246,7 @@ jobs:
 
   publish:
     name: Publish Docker images
-    if: |
-      github.event_name == 'push'
+    if: github.event_name == 'push'
     needs: [compile-opam, compile-nix, check, external, external-status, docker]
     runs-on: ubuntu-24.04
     permissions:
@@ -258,6 +257,8 @@ jobs:
       with:
         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'
     - run: gunzip -c build-image.tar.gz | docker load
     - uses: docker/login-action@v3
       with: