From 7a96f9f5c4b7cb51bbd33533688ef638bd2b0403 Mon Sep 17 00:00:00 2001
From: Scott Guest <scott.guest@runtimeverification.com>
Date: Tue, 21 May 2024 21:45:23 -0400
Subject: [PATCH] Just use /home/user instead of opt

---
 .github/actions/with-docker/Dockerfile | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.github/actions/with-docker/Dockerfile b/.github/actions/with-docker/Dockerfile
index 7687abd5..365bcaa6 100644
--- a/.github/actions/with-docker/Dockerfile
+++ b/.github/actions/with-docker/Dockerfile
@@ -41,12 +41,11 @@ 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 RISCV=/home/user/riscv
 ENV PATH=$PATH:$RISCV/bin
 
+RUN mkdir $RISCV
+
 RUN git clone --recursive https://github.com/riscv/riscv-gnu-toolchain -b 2024.04.12 && \
     cd riscv-gnu-toolchain && \
     ./configure --prefix=$RISCV --enable-multilib && \