From 0c204cf5ea253767fc08bf29eb1076ffab803169 Mon Sep 17 00:00:00 2001
From: luisacicolini <lc985@cam.ac.uk>
Date: Thu, 24 Oct 2024 07:24:28 -0700
Subject: [PATCH] fixed missing step in action

---
 .github/workflows/plots.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/plots.yml b/.github/workflows/plots.yml
index 5c6168047..0fa09b210 100644
--- 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 : |