From 07f5c639cfd5516d59504dece787901e71a650fe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= <fdupress@gmail.com>
Date: Fri, 28 Nov 2025 16:39:57 +0000
Subject: [PATCH 1/2] prepare for docker builds in CI

---
 .github/workflows/docker.yml | 24 ++++++++++++++++++++++++
 scripts/docker/Makefile      |  5 +++--
 2 files changed, 27 insertions(+), 2 deletions(-)
 create mode 100644 .github/workflows/docker.yml

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
new file mode 100644
index 0000000000..48afd9afa0
--- /dev/null
+++ b/.github/workflows/docker.yml
@@ -0,0 +1,24 @@
+name: EasyCrypt Docker Containers Build
+
+on:
+  push:
+    branches:
+      - 'main'
+      - 'latest'
+    tags:
+      - 'r[0-9]+.[0-9]+'
+  workflow_dispatch:
+
+jobs:
+  make-images:
+    name: Build Container Images
+    runs-on: ubuntu-24.04
+    steps:
+    - uses: actions/checkout@v4
+    - name: Build `base` Image
+      run: TAG=${{ github.ref_name }} VARIANT=base make -C scripts/docker
+    - name: Build `build` Image
+      run: TAG=${{ github.ref_name }} VARIANT=build make -C scripts/docker
+    - name: Build `formosa` Image
+      run: TAG=${{ github.ref_name }} VARIANT=formosa make -C scripts/docker
+
diff --git a/scripts/docker/Makefile b/scripts/docker/Makefile
index f8551c2f94..0400237023 100644
--- a/scripts/docker/Makefile
+++ b/scripts/docker/Makefile
@@ -2,6 +2,7 @@
 
 # --------------------------------------------------------------------
 VARIANT ?= build
+TAG     ?= main
 
 # --------------------------------------------------------------------
 .PHONY: default build publish
@@ -11,8 +12,8 @@ default: build
 build:
 	docker build -f Dockerfile.$(VARIANT) \
 	  --platform linux/amd64 \
-	  -t ghcr.io/easycrypt/ec-$(VARIANT)-box \
+	  -t ghcr.io/easycrypt/ec-$(VARIANT)-box:$(TAG) \
 	  .
 
 publish:
-	docker push ghcr.io/easycrypt/ec-$(VARIANT)-box
+	docker push ghcr.io/easycrypt/ec-$(VARIANT)-box:$(TAG)

From 66611b87d940a748d79b78f46a3508754b3f25b8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= <fdupress@gmail.com>
Date: Tue, 2 Dec 2025 11:52:16 +0000
Subject: [PATCH 2/2] REVERT ME

---
 .github/workflows/docker.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 48afd9afa0..5626aafb35 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -5,6 +5,7 @@ on:
     branches:
       - 'main'
       - 'latest'
+      - 'docker-builds-in-ci'
     tags:
       - 'r[0-9]+.[0-9]+'
   workflow_dispatch: