From 1496323b928472576b72322d6e6e2933a2a6f2d0 Mon Sep 17 00:00:00 2001
From: Scott Guest <scott.guest@runtimeverification.com>
Date: Tue, 21 May 2024 21:30:11 -0400
Subject: [PATCH] chown /opt/riscv

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

diff --git a/.github/actions/with-docker/Dockerfile b/.github/actions/with-docker/Dockerfile
index c44d952f..7687abd5 100644
--- 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