From 6bf27d223921beb3ac9667b3ef1c74ca13f810b2 Mon Sep 17 00:00:00 2001
From: Laura <lthaci@tugraz.at>
Date: Wed, 7 Jan 2026 11:37:16 +0100
Subject: [PATCH] ci: publish official-v13-mug image tag

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

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 0996666..6baa890 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -120,6 +120,7 @@ jobs:
           push: true
           tags: |
             ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${{ env.DOCKER_TAG }}-mug
+            ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:official-v13-mug
           labels: ${{ steps.meta.outputs.labels }}