From f42310f93303aa953a8d67b562cf79772699bd66 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1s=20Gr=C3=BCner?=
 <47506558+MegaRedHand@users.noreply.github.com>
Date: Fri, 10 Apr 2026 12:04:21 -0300
Subject: [PATCH 1/3] docs: add release information to readme

---
 README.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/README.md b/README.md
index 6284cecd..213632c2 100644
--- a/README.md
+++ b/README.md
@@ -91,6 +91,16 @@ Additional features:
 - [leanMetrics](docs/metrics.md) support for monitoring and observability
 - [lean-quickstart](https://github.com/blockblaz/lean-quickstart) integration for easier devnet running
 
+### Container Releases
+
+Docker images are published to `ghcr.io/lambdaclass/ethlambda` with the following tags:
+
+| Tag | Description |
+|-----|-------------|
+| `devnetX` | Stable image for a specific devnet (e.g. `devnet3`) |
+| `latest` | Alias for the stable image of the currently running devnet |
+| `unstable` | Development builds; promoted to `devnetX`/`latest` once tested |
+
 ### pq-devnet-3
 
 We are running the [pq-devnet-3 spec](https://github.com/leanEthereum/pm/blob/main/breakout-rooms/leanConsensus/pq-interop/pq-devnet-3.md). A Docker tag `devnet3` is available for this version.
@@ -112,3 +122,4 @@ Some features we are looking to implement in the near future, in order of priori
 - [Add support for pq-devnet-4](https://github.com/lambdaclass/ethlambda/issues/155)
 - [RPC endpoints for chain data consumption](https://github.com/lambdaclass/ethlambda/issues/75)
 - [Add guest program and ZK proving of the STF](https://github.com/lambdaclass/ethlambda/issues/156)
+- [Formal verification of the STF](https://github.com/lambdaclass/ethlambda/issues/272)

From 71e80098a71b4a28338180141f6e87dfdb469f46 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1s=20Gr=C3=BCner?=
 <47506558+MegaRedHand@users.noreply.github.com>
Date: Fri, 10 Apr 2026 12:50:33 -0300
Subject: [PATCH 2/3] docs: update the release doc

---
 RELEASE.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/RELEASE.md b/RELEASE.md
index e5044e69..185961a9 100644
--- a/RELEASE.md
+++ b/RELEASE.md
@@ -21,17 +21,17 @@ exact commit it was built from.
 On top of that, the workflow accepts a comma-separated list of custom tags as a
 parameter (e.g. `latest,devnet2`). We use the following tagging convention:
 
-- `latest` - the latest image built from the `main` branch
-- `devnet2` - the latest image built with `devnet2` support
-- `devnet1` - *(deprecated)* `devnet1` support
+- `unstable` - the latest image built from the `main` branch, without any devnet-specific features
+- `latest` - the latest image built for the current devnet (`devnet3` at the time of writing)
+- `devnetX` - the latest image built with `devnetX` support (e.g. `devnet3`, `devnet4`)
 
 Future devnets will introduce new tags, with previous ones left without updates.
 
 ### Pulling an image
 
 ```bash
-docker pull ghcr.io/lambdaclass/ethlambda:latest        # latest from main
-docker pull ghcr.io/lambdaclass/ethlambda:devnet2        # devnet2-compatible
+docker pull ghcr.io/lambdaclass/ethlambda:unstable       # latest from main
+docker pull ghcr.io/lambdaclass/ethlambda:devnet3        # devnet3-compatible
 docker pull ghcr.io/lambdaclass/ethlambda:sha-12f8377    # pinned to a specific commit
 ```
 

From 478b3648e43d9a65371b9e6991ecff81ab87a8b6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1s=20Gr=C3=BCner?=
 <47506558+MegaRedHand@users.noreply.github.com>
Date: Fri, 10 Apr 2026 12:54:08 -0300
Subject: [PATCH 3/3] docs: add link to release doc on readme

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index 213632c2..05da606f 100644
--- a/README.md
+++ b/README.md
@@ -100,6 +100,9 @@ Docker images are published to `ghcr.io/lambdaclass/ethlambda` with the followin
 | `devnetX` | Stable image for a specific devnet (e.g. `devnet3`) |
 | `latest` | Alias for the stable image of the currently running devnet |
 | `unstable` | Development builds; promoted to `devnetX`/`latest` once tested |
+| `sha-XXXXXXX` | Specific commit |
+
+[`RELEASE.md`](./RELEASE.md) has more details on our release process and how to tag new images.
 
 ### pq-devnet-3