fix toolchain in dockerfile

2023-08-04 12:17:33 +02:00
parent 16b2003f9a
commit c5b283a111
1 changed files with 2 additions and 1 deletions
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -4,7 +4,8 @@ WORKDIR /

 ENV ELAN_HOME=/usr/local/elan \
  PATH=/usr/local/elan/bin:$PATH \
-  LEAN_VERSION=leanprover/lean4:nightly
+  LEAN_VERSION=leanprover/lean4:nightly-2023-06-20
+  # TODO: read toolchain from `lean-toolchain`

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