Merge remote-tracking branch 'origin/master' into _update-deps/runtim…

…everification/z3-images
runtimeverification · Jan 6, 2025 · 9390b35 · 9390b35
2 parents 1acd2da + c9264b2
commit 9390b35
Show file tree

Hide file tree

Showing 6 changed files with 377 additions and 393 deletions.
diff --git a/.github/workflows/Dockerfile b/.github/workflows/Dockerfile
@@ -34,3 +34,5 @@ USER ${USER}:${GROUP}
 ENV PATH=/home/${USER}/.local/bin:${PATH}
 RUN    pip install pytest \
     && pytest --version
+RUN    curl -sSL https://install.python-poetry.org | python3 - \
+    && poetry --version
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.103
+7.1.166
diff --git a/flake.lock b/flake.lock