removed useless build from ci

opencompl · Oct 24, 2024 · ba96fac · ba96fac
1 parent 8053a6c
commit ba96fac
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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