Remove v tag for HB

runtimeverification · Jun 24, 2024 · 16643a7 · 16643a7
1 parent 5070430
commit 16643a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/with-k-docker/action.yml b/.github/actions/with-k-docker/action.yml
@@ -54,7 +54,7 @@ runs:
         --repo runtimeverification/haskell-backend  \
         --pattern "*ubuntu_${BASE_DISTRO}.deb"      \
         --output "${HASKELL_BACKEND_DEB_PATH}"      \
-        v$(cat deps/haskell-backend_release)
+        $(cat deps/haskell-backend_release)
 
       docker build . \
         --file ${DOCKERFILE}                                        \