lake?

leanprover · Mar 5, 2024 · cc07443 · cc07443
1 parent 23e7ee3
commit cc07443
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -54,7 +54,8 @@ jobs:
       - name: Configure demo/test subproject
         run: |
           pushd demo
-          lake update
+          # Use lake update to get the right version
+          ~/.elan/bin/lake update
           popd
 
       - name: Run tests