From a7d07c1b6123c00369eec63a76482bb3329f3ab1 Mon Sep 17 00:00:00 2001
From: Jos van der Velde <j.d.v.d.velde@tue.nl>
Date: Fri, 15 Nov 2024 12:46:03 +0100
Subject: [PATCH] Removed dev_ prefix from release_docker.yaml

---
 .github/workflows/release_docker.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/release_docker.yaml b/.github/workflows/release_docker.yaml
index 3faa83fc..55406876 100644
--- a/.github/workflows/release_docker.yaml
+++ b/.github/workflows/release_docker.yaml
@@ -45,7 +45,7 @@ jobs:
         with:
           context: .
           file: docker/Dockerfile
-          tags: "dev_${{ steps.meta_dockerhub.outputs.tags }}"
+          tags: ${{ steps.meta_dockerhub.outputs.tags }}
           labels: ${{ steps.meta_dockerhub.outputs.labels }}
           platforms: linux/amd64,linux/arm64
           push: ${{ github.event_name == 'push' }}