chore: fetch mathlib cache

joehendrix · Sep 6, 2023 · 77e297d · 77e297d
1 parent 3d24bed
commit 77e297d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -45,6 +45,8 @@ jobs:
       run: brew install elan
     - name: Checkout
       uses: actions/checkout@v2
+    - name: Retrieve mathlib cache
+      run: lake exe cache get
     - name: Cache build
       uses: actions/cache@v2
       with: