Docker: Update Bender to 0.27.1 (pulp-platform#41)

Co-authored-by: Viviane Potocnik <vivianep@iis.ee.ethz.ch>
richard8805 · Aug 30, 2023 · 65e5e8d · 65e5e8d
1 parent 772b86a
commit 65e5e8d
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/util/container/Dockerfile b/util/container/Dockerfile
@@ -26,8 +26,8 @@ RUN apt-get update && \
 # Build Rust tools
 RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
 ENV PATH "/root/.cargo/bin:${PATH}"
-RUN rustup install 1.63.0
-RUN rustup override set 1.63.0
+RUN rustup install 1.70.0
+RUN rustup override set 1.70.0
 
 # Install Bender
 RUN cargo install bender --version 0.27.1
@@ -46,6 +46,8 @@ RUN wget https://github.com/Kitware/CMake/releases/download/v${CMAKE_VERSION}/cm
 ENV PATH "/tools/bin:${PATH}"
 
 # Install `banshee` (needs cmake)
+RUN rustup install 1.63.0
+RUN rustup override set 1.63.0
 RUN git clone https://github.com/pulp-platform/banshee.git /tmp/banshee --recurse-submodules
 RUN cargo install --path /tmp/banshee