change to "lake exe cache get"

2024-05-14 11:07:33 -04:00 · 2024-05-14 11:07:33 -04:00 · 6f26a77305
commit 6f26a77305
parent 826bcaa03e
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@ -30,7 +30,7 @@ jobs:
      
      - name: build cache
        run: |
-          lake build cache
+          lake exe cache get

      - name: Build HepLean
        run: lake build HepLean