greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix toolcahin in devcontainer

Browse Source
This commit is contained in:
Jon Eugster
2023-08-04 19:17:19 +02:00
parent e6d786fc2c
commit 2e84949f8a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.devcontainer/Dockerfile
View File

@@ -4,7 +4,7 @@ WORKDIR /
ENV ELAN_HOME=/usr/local/elan \
PATH=/usr/local/elan/bin:$PATH \
LEAN_VERSION=leanprover/lean4:nightly-2023-06-20
LEAN_VERSION=leanprover/lean4:nightly-2023-08-03
# TODO: read toolchain from `lean-toolchain`
SHELL ["/bin/bash", "-euxo", "pipefail", "-c"]