.github/Dockerfile: pin version of poetry used

runtimeverification · Nov 2, 2023 · bfb6d23 · bfb6d23
1 parent 134a5f4
commit bfb6d23
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/Dockerfile b/.github/workflows/Dockerfile
@@ -41,5 +41,5 @@ USER ${USER}:${GROUP}
 RUN mkdir /home/${USER}/workspace
 WORKDIR /home/${USER}/workspace
 
-RUN    curl -sSL https://install.python-poetry.org | python3 - \
+RUN    curl -sSL https://install.python-poetry.org | python3 - --version 1.6.1 \
     && poetry --version