Activate virtualenv for more steps

stanford-centaur · Feb 16, 2025 · c428acd · c428acd
1 parent 4fa6cef
commit c428acd
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -22,7 +22,7 @@ jobs:
           - name: yices2
             extra_macos_packages: autoconf
 
-    name: ${{ matrix.os }}:${{ matrix.name }} 
+    name: ${{ matrix.os }}:${{ matrix.name }}
     runs-on: ${{ matrix.os}}
 
     steps:
@@ -81,6 +81,7 @@ jobs:
 
       - name: Build
         run: |
+          source ./.venv/bin/activate
           cd build
           make -j
 
@@ -90,7 +91,11 @@ jobs:
           make test
 
       - name: Install Python Bindings
-        run: python3 -m pip install -e ./build/python[test,pysmt]
+        run: |
+          source ./.venv/bin/activate
+          python3 -m pip install -e ./build/python[test,pysmt]
 
       - name: Test Python Bindings
-        run: pytest ./tests
+        run: |
+          source ./.venv/bin/activate
+          pytest ./tests