Kontrol version does not resolve

runtimeverification · Oct 6, 2023 · e115991 · e115991
1 parent e02a0ca
commit e115991
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/actions/with-docker/action.yml b/.github/actions/with-docker/action.yml
@@ -14,8 +14,8 @@ runs:
       
       CONTAINER_NAME=${{inputs.container-name}}
       CONTAINER_VERSION=$(cat deps/kontrol_release)
-      
-      docker build . --tag solady-ci --build-arg KONTROL_VERSION=$(cat deps/kontrol_release)
+      KONTROL_VERSION=$(cat deps/kontrol_release)
+      docker build . --tag solady-ci --build-arg ${KONTROL_VERSION}
 
       docker run                                                    \
         --name ${CONTAINER_NAME}                                    \