cleanup CI, deduplicate fetching of the cache into a separate step

alexkeizer · Oct 11, 2024 · 8658135 · 8658135
1 parent 8955e9b
commit 8658135
Showing 1 changed file with 8 additions and 11 deletions.
diff --git 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
+        run: lake -R build +ITree