fixed missing step in action

opencompl · Oct 24, 2024 · 0c204cf · 0c204cf
1 parent c62642b
commit 0c204cf
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/plots.yml b/.github/workflows/plots.yml
@@ -30,6 +30,15 @@ jobs:
         with:
           path: .lake
           key: ${{ runner.os }}-lake-tools-${{ hashFiles('lake-manifest.json') }}
+
+      - name: Get mathlib cache (only if no cache available) 
+        if: steps.cache-lake.outputs.cache-hit != 'true'
+        run: |
+          lake -R exe cache get # download cache of mathlib docs.
+
+      - name: Compile Library 🧐
+        run: |
+          lake -R build SSA
 
       - name: Run Hackers' Delight Performance Tests
         run : |