fix: run lake update in CI

Seasawher · Apr 13, 2024 · 5b0a61f · 5b0a61f
1 parent df1bde5
commit 5b0a61f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -34,6 +34,9 @@ jobs:
       - name: override elan default
         run: elan override set leanprover/lean4:nightly
 
+      - name: lake update
+        run: lake update
+
       - name: Cache dependencies
         uses: actions/cache@v3
         with: