Update build.yml

leanprover-community · Apr 25, 2023 · 5c5a77f · 5c5a77f
1 parent 5da0c41
commit 5c5a77f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -12,5 +12,7 @@ jobs:
           ./elan-init -y --default-toolchain none
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
       - uses: actions/checkout@v2
+      - name: get cache
+        run: lake exe cache get
       - name: build game
         run: env LEAN_ABORT_ON_PANIC=1 lake build