Github actions: explicitly install pytest

moves-rwth · Dec 22, 2021 · 746efb5 · 746efb5
1 parent 1747676
commit 746efb5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml
@@ -99,6 +99,7 @@ jobs:
           # Install dependencies for tests
           # numpy is used in sphinx tests
           sudo docker exec storm bash -c "cd /opt; source venv/bin/activate; pip install numpy"
+          sudo docker exec storm bash -c "cd /opt; source venv/bin/activate; pip install pytest"
           sudo docker exec storm bash -c "cd /opt; source venv/bin/activate; cd /opt/stormpy; python setup.py test"
 
   deploy:
@@ -163,6 +164,7 @@ jobs:
           # Install dependencies for tests
           # numpy is used in sphinx tests
           sudo docker exec storm bash -c "cd /opt; source venv/bin/activate; pip install numpy"
+          sudo docker exec storm bash -c "cd /opt; source venv/bin/activate; pip install pytest"
           sudo docker exec storm bash -c "cd /opt; source venv/bin/activate; cd /opt/stormpy; python setup.py test"
 
       - name: Deploy stormpy