Set riscv-gnu-toolchain version

runtimeverification · Jun 5, 2024 · d8ae1e8 · d8ae1e8
1 parent d55fcf9
commit d8ae1e8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git 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
@@ -0,0 +1 @@
+2024.04.12