prepare for docker builds in CI

Author: fdupress

.github/workflows/docker.yml

@@ -0,0 +1,26 @@
+name: EasyCrypt Docker Containers Build and Publish
+
+on:
+  push:
+    branches:
+      - 'main'
+      - 'latest'
+    tags:
+      - 'r[0-9]+.[0-9]+'
+  workflow_dispatch
+
+jobs:
+  make-image:
+    name: Make and Publish Container Images
+    runs-on: ubuntu-24.04
+    strategy:
+      fail-fast: true
+      matrix:
+        target: [base, build, test]
+    steps:
+    - uses: actions/checkout@v4
+    - name: Install docker and docker-buildx
+      run: apt install docker docker-buildx
+    - name: Build ${{ matrix.target }} Image
+      run: TAG=${{ github.ref_name }} VARIANT=${{ matrix.target }} make -C scripts/docker publish
+

scripts/docker/Dockerfile.base

@@ -2,11 +2,11 @@
 
 FROM debian:stable
 
-MAINTAINER Pierre-Yves Strub <[email protected]>
+LABEL org.opencontainers.image.maintainer="Pierre-Yves Strub <[email protected]>"
 
 ARG user=charlie
 
-ENV DEBIAN_FRONTEND noninteractive
+ENV DEBIAN_FRONTEND=noninteractive
 
 RUN \
 	apt-get -q -y update && \

scripts/docker/Dockerfile.test

@@ -5,7 +5,7 @@ FROM ./Dockerfile.build
 ARG EC_VERSION=main
 
 RUN \
-	opam pin --dev-repo \
+	opam pin \
 	add -n easycrypt https://github.com/EasyCrypt/easycrypt.git#${EC_VERSION} && \
 	opam install -v easycrypt && \
 	rm -rf .opam/packages.dev/*

scripts/docker/Makefile

@@ -2,6 +2,7 @@
 
 # --------------------------------------------------------------------
 VARIANT ?= build
+TAG     ?= main
 
 # --------------------------------------------------------------------
 .PHONY: default build publish
@@ -10,9 +11,9 @@ default: build
 
 build:
 	docker build -f Dockerfile.$(VARIANT) \
-	  --platform linux/amd64 \
-	  -t ghcr.io/easycrypt/ec-$(VARIANT)-box \
+    --platform linux/amd64 \
+    -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)