replace USER_ID by USER

runtimeverification · Aug 1, 2023 · b854710 · b854710
1 parent 26f4cf2
commit b854710
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/Dockerfile b/.github/workflows/Dockerfile
@@ -46,7 +46,7 @@ USER ${USER}:${GROUP}
 RUN mkdir /home/${USER}/workspace
 WORKDIR /home/${USER}/workspace
 
-ENV PATH=/home/${USER}/.cargo/bin:/home/${USER_ID}/.local/bin:${PATH}
+ENV PATH=/home/${USER}/.cargo/bin:/home/${USER}/.local/bin:${PATH}
 
 RUN    curl -sSL https://install.python-poetry.org | python3 - \
     && poetry --version