feat: build ITree in CI

Thus ensuring we don't break ITree when making changes to the framework
alexkeizer · Oct 11, 2024 · f2eae0f · f2eae0f
1 parent 9affd6a
commit f2eae0f
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -22,12 +22,17 @@ jobs:
           ~/.elan/bin/lean --version
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
 
-      - name: Compile Library 🧐
+      - name: Compile QpfTypes Library 🧐
         run: |
           lake -R exe cache get
           lake -R build
 
-      - name: Compile Tests
+      - name: Compile Tests 🧐
         run: |
           lake -R exe cache get
-          lake -R build +Test
+          lake -R build +Test
+
+      - name: Compile ITree Library 🧐
+        run: |
+          lake -R exe cache get
+          lake -R build +ITree