diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml index 1d14c9f27..dd258e72f 100644 --- 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