prepare for docker builds in CI

Author: fdupress

.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
+

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)