diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 4af1e46..869cfae 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -47,6 +47,9 @@ jobs: if: steps.cached-poetry-dependencies.outputs.cache-hit != 'true' run: poetry install --no-root --only main,test + - name: Install stormpy manually + run: poetry run pip install /opt/stormpy + - name: Install pre-commit run: pip install pre-commit==${{ env.PRECOMMIT_VERSION }} diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 53fc8ce..b468edc 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -47,5 +47,8 @@ jobs: if: steps.cached-poetry-dependencies.outputs.cache-hit != 'true' run: poetry install --no-root --only main,test - - name: Install library - run: poetry install --only main,test + - name: Install stormpy manually + run: poetry run pip install /opt/stormpy + + - name: Run tests + run: poetry run pytest