diff --git a/.github/workflows/integration-test.yml b/.github/workflows/integration-test.yml
index b788a923..6d625a4d 100644
--- a/.github/workflows/integration-test.yml
+++ b/.github/workflows/integration-test.yml
@@ -1,6 +1,6 @@
 name: Integration Tests
 
-on: 
+on:
   push:
     branches:
       - main
@@ -15,11 +15,14 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v4
         with:
-          python-version: '3.9'
+          python-version: "3.9"
 
       - name: Install cairo-lang
         run: pip install cairo-lang==0.13.1
-      
+
+      - name: Install sympy
+        run: pip install sympy==1.12.1
+
       - name: Build
         run: make build