This should work?

moves-rwth · Jul 2, 2024 · 1270316 · 1270316
1 parent bef775e
commit 1270316
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 14 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -40,16 +40,7 @@ jobs:
         run: poetry env use /opt/venv/bin/python
 
       - name: Install dependencies
-        run: poetry install --no-root --only main,test
-
-      - name: Install pre-commit
-        run: pip install pre-commit==${{ env.PRECOMMIT_VERSION }}
-
-      - name: Cache pre-commit
-        uses: actions/cache@v4
-        with:
-          path: ~/.cache/pre-commit
-          key: precommit-${{ hashFiles('.pre-commit-config.yaml') }}
+        run: poetry install --no-root
 
       - name: Run pre-commit
         run: pre-commit run --all-files
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -40,10 +40,7 @@ jobs:
         run: poetry env use /opt/venv/bin/python
 
       - name: Install dependencies
-        run: poetry install --no-root --only main,test
-
-      - name: Install stormpy manually
-        run: poetry run pip install /opt/stormpy
+        run: poetry install --no-root
 
       - name: Run tests
         run: poetry run pytest