earlier?

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