Merge pull request #52 from paulcadman/ci-cache

Use the mathlib4 cache in CI build

.github/workflows/build.yaml

@@ -30,6 +30,9 @@ jobs:
 
       - uses: actions/checkout@v4
 
+      - name: fetch mathlib cache
+        run: lake exe cache get
+
       - name: build project
         run: just build
 
@@ -63,6 +66,9 @@ jobs:
 
       - uses: actions/checkout@v4
 
+      - name: fetch mathlib cache
+        run: lake exe cache get
+
       - name: build project
         run: just build