.github/Dockerfile: bring back PATH setup

runtimeverification · Nov 3, 2023 · 298e572 · 298e572
1 parent cdf40bf
commit 298e572
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/Dockerfile b/.github/workflows/Dockerfile
@@ -41,5 +41,7 @@ USER ${USER}:${GROUP}
 RUN mkdir /home/${USER}/workspace
 WORKDIR /home/${USER}/workspace
 
+ENV PATH=/home/${USER}/.local/bin:${PATH}
+
 RUN    curl -sSL https://install.python-poetry.org | python3 - --version 1.6.1 \
     && poetry --version