diff --git a/.github/actions/with-docker/Dockerfile b/.github/actions/with-docker/Dockerfile
index 4b9435a5..f141843a 100644
--- a/.github/actions/with-docker/Dockerfile
+++ b/.github/actions/with-docker/Dockerfile
@@ -1,6 +1,9 @@
 ARG K_VERSION
 FROM runtimeverificationinc/kframework-k:ubuntu-jammy-${K_VERSION}
 
+ARG TOOLCHAIN_VERSION
+FROM runtimeverificationinc/riscv-gnu-toolchain:ubuntu-jammy-${TOOLCHAIN_VERSION} as TOOLCHAIN
+
 ARG PYTHON_VERSION=3.10
 
 RUN    apt-get -y update             \
@@ -20,3 +23,8 @@ WORKDIR /home/user
 
 ENV PATH=/home/user/.local/bin:${PATH}
 RUN curl -sSL https://install.python-poetry.org | python3 -
+
+COPY --from=TOOLCHAIN /opt/riscv/bin /home/user/riscv/bin
+ENV PATH=/home/user/riscv/bin:${PATH}
+
+RUN pip3 install git+https://github.com/riscv/riscof.git