Install stormpy

moves-rwth · Jul 2, 2024 · b34b161 · b34b161
1 parent a8836c9
commit b34b161
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git 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
@@ -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