diff --git a/.github/actions/with-docker/action.yml b/.github/actions/with-docker/action.yml
index 097976b3..3c5b5b50 100644
--- a/.github/actions/with-docker/action.yml
+++ b/.github/actions/with-docker/action.yml
@@ -15,10 +15,12 @@ runs:
       CONTAINER_NAME=${{ inputs.container-name }}
       TAG=runtimeverificationinc/${CONTAINER_NAME}
       K_VERSION=$(cat deps/k_release)
+      TOOLCHAIN_VERSION=$(cat deps/riscv-gnu-toolchain_release)
       docker build .                                  \
         --file .github/actions/with-docker/Dockerfile \
         --tag ${TAG}                                  \
         --build-arg K_VERSION=${K_VERSION}
+	--build-arg TOOLCHAIN_VERSION=${TOOLCHAIN_VERSION}
       docker run                          \
         --name ${CONTAINER_NAME}          \
         --rm                              \
diff --git a/deps/riscv-gnu-toolchain_release b/deps/riscv-gnu-toolchain_release
new file mode 100644
index 00000000..3ccf8fe7
--- /dev/null
+++ b/deps/riscv-gnu-toolchain_release
@@ -0,0 +1 @@
+2024.04.12