chown /opt/riscv

runtimeverification · May 22, 2024 · 1496323 · 1496323
1 parent 1ad12eb
commit 1496323
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/actions/with-docker/Dockerfile b/.github/actions/with-docker/Dockerfile
@@ -41,6 +41,9 @@ RUN curl -sSL https://install.python-poetry.org | python3 -
 
 RUN pip3 install git+https://github.com/riscv/riscof.git
 
+RUN mkdir /opt/riscv && \
+    chown root /opt/riscv
+
 ENV RISCV=/opt/riscv
 ENV PATH=$PATH:$RISCV/bin