fix dev-container

2023-09-08 09:47:08 +02:00
parent cf5268eacd
commit 9e086e17d3
1 changed files with 1 additions and 1 deletions
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -4,7 +4,7 @@ WORKDIR /

 ENV ELAN_HOME=/usr/local/elan \
  PATH=/usr/local/elan/bin:$PATH \
-  LEAN_VERSION=leanprover/lean4:nightly-2023-08-03
+  LEAN_VERSION=leanprover/lean4:v4.0.0-rc4
  # TODO: read toolchain from `lean-toolchain`

 SHELL ["/bin/bash", "-euxo", "pipefail", "-c"]