ci: get cache

bicmr-ai4math · Aug 20, 2023 · d58ef80 · d58ef80
1 parent f045d59
commit d58ef80
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -22,4 +22,4 @@ jobs:
         run: |
           curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s - -y --default-toolchain `cat ./lean-toolchain`
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
-      - run: lake build
+      - run: lake exe cache get && lake build