From ba96fac72e7340ed7131add4384ba692b1d207bc Mon Sep 17 00:00:00 2001
From: luisacicolini <lc985@cam.ac.uk>
Date: Thu, 24 Oct 2024 08:34:39 -0700
Subject: [PATCH] removed useless build from ci

---
 .github/workflows/plots.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.github/workflows/plots.yml b/.github/workflows/plots.yml
index 2422c3a66..e0b01baa8 100644
--- a/.github/workflows/plots.yml
+++ b/.github/workflows/plots.yml
@@ -36,10 +36,6 @@ jobs:
         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 : |
           cd bv-evaluation