From 2befd2e71b10f7920cf86f7e3c8385531c4a31f5 Mon Sep 17 00:00:00 2001
From: sirse <hi@sirse.dev>
Date: Thu, 29 Jan 2026 19:48:34 +0200
Subject: [PATCH] Added default devnet tag.

After merging `devnet-2` into `main` branch, the `devnet-2` tag would be
needed to publish, along with `latest` and `unstable` tags. However,
before that, it would be nice to publish `devnet-1` tag, for historic
purposes.
---
 lean_client/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lean_client/Makefile b/lean_client/Makefile
index 96a28ae..507f78a 100644
--- a/lean_client/Makefile
+++ b/lean_client/Makefile
@@ -15,6 +15,8 @@ COMMIT_SHA := $(shell git rev-parse HEAD)
 GIT_BRANCH := $(shell git rev-parse --abbrev-ref HEAD)
 # Build date. Used for docker image metadata.
 BUILD_DATE := $(shell date -u +'%Y-%m-%dT%H:%M:%SZ')
+# Currently supported devnet. Used to publish devnet tag, along with `latest`.
+CURRENT_DEVNET := devnet-1
 
 # Temporary variable, which constructs `--tag` arguments, to be passed into 
 #   docker build command. It is used as intermediatery step, not as config 
@@ -22,6 +24,7 @@ BUILD_DATE := $(shell date -u +'%Y-%m-%dT%H:%M:%SZ')
 DOCKER_TAGS := --tag $(DOCKER_REPO):$(DOCKER_TAG)
 ifeq ($(DOCKER_TAG),unstable)
     DOCKER_TAGS += --tag $(DOCKER_REPO):latest
+	DOCKER_TAGS += --tag $(DOCKER_REPO):$(CURRENT_DEVNET)
 endif
 
 all: build check-format test