From 86581355fc432a11ecead17ae49935fd7611c58d Mon Sep 17 00:00:00 2001
From: Alex Keizer <alex@keizer.dev>
Date: Thu, 10 Oct 2024 21:34:58 -0500
Subject: [PATCH] cleanup CI, deduplicate fetching of the cache into a separate
 step

---
 .github/workflows/ci.yml | 19 ++++++++-----------
 1 file changed, 8 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0f052e8..d896374 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -22,17 +22,14 @@ jobs:
           ~/.elan/bin/lean --version
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
 
-      - name: Compile QpfTypes Library 🧐
-        run: |
-          lake -R exe cache get
-          lake -R build
+      - name: Fetch cached dependencies 🕑
+        run : lake -R exe cache get
 
-      - name: Compile Tests 🧐
-        run: |
-          lake -R exe cache get
-          lake -R build +Test
+      - name: Compile QpfTypes library 🧐
+        run: lake -R build
+
+      - name: Compile tests 🧐
+        run: lake -R build +Test
 
       - name: Compile ITree Library 🧐
-        run: |
-          lake -R exe cache get
-          lake -R build +ITree
\ No newline at end of file
+        run: lake -R build +ITree
\ No newline at end of file