From 552bdd82b85f6706f6054cec9dcc44ab2e7d035c Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Tue, 10 Dec 2024 14:31:39 +0000 Subject: [PATCH] Use the mathlib4 cache in CI build The project build is now slower because we use mathllib4 in the project. This commit adds a command to the build workflow to fetch the cached build artefacts for mathlib (and other standard libraries). This may speed up the CI build. --- .github/workflows/build.yaml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 3d95417..acdccb6 100644 --- a/.github/workflows/build.yaml +++ b/.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