diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index efb0ae6..6801870 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -13,6 +13,8 @@ env: jobs: pre-commit: runs-on: ubuntu-22.04 + container: + image: movesrwth/stormpy:latest-debug steps: - uses: actions/checkout@v4 diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index bb941fe..8ff9369 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -13,6 +13,8 @@ env: jobs: test: runs-on: ubuntu-22.04 + container: + image: movesrwth/stormpy:latest-debug steps: - uses: actions/checkout@v4