Merge branch 'master' into _update-deps/runtimeverification/evm-seman…

…tics
runtimeverification · Oct 19, 2023 · 6d34ffb · 6d34ffb
2 parents e1fc15d + b966121
commit 6d34ffb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
@@ -67,7 +67,8 @@ jobs:
       - name: 'Build Docker image'
         run: |
           K_VERSION=$(cat deps/k_release)
-          docker build . --no-cache --tag ${TAG} --build-arg K_VERSION=${K_VERSION}
+          Z3_VERSION=$(cat deps/z3)
+          docker build . --no-cache --tag ${TAG} --build-arg K_VERSION=${K_VERSION} --build-arg Z3_VERSION=${Z3_VERSION}
 
       - name: 'Run Docker image'
         run: docker run --rm ${TAG} kontrol --help