aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 4 Packages Projects Releases Wiki Activity

fix: Remove lake version check

This commit is contained in:
Leni Aniva 2024-10-18 15:40:52 -07:00
parent 1b05419233
commit 1f3784d12c
Signed by: aniva
GPG Key ID: 4D9B1C8D10EA4C50
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/docs.yaml vendored
View File

@ -32,10 +32,9 @@ jobs:
./elan-init -y --default-toolchain none ./elan-init -y --default-toolchain none
echo "$HOME/.elan/bin" >> "${GITHUB_PATH}" echo "$HOME/.elan/bin" >> "${GITHUB_PATH}"
- name: Print lean and lake versions - name: Install Lean
run: | run: |
elan toolchain install $(<src/lean-toolchain) elan toolchain install $(<src/lean-toolchain)
lake --version
- name: Install poetry - name: Install poetry
run: | run: |