From f2eae0f379b5231d4b35b35bd1e2fcc51d63d7dd Mon Sep 17 00:00:00 2001
From: Alex Keizer <alex@keizer.dev>
Date: Thu, 10 Oct 2024 21:31:11 -0500
Subject: [PATCH] feat: build ITree in CI

Thus ensuring we don't break ITree when making changes to the framework
---
 .github/workflows/ci.yml | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d5929f1..0f052e8 100644
--- 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
\ No newline at end of file
+          lake -R build +Test
+
+      - name: Compile ITree Library 🧐
+        run: |
+          lake -R exe cache get
+          lake -R build +ITree
\ No newline at end of file