Attempt to run on an image

moves-rwth · Jul 2, 2024 · 9e4a48c · 9e4a48c
1 parent 23071c9
commit 9e4a48c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git 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
@@ -13,6 +13,8 @@ env:
 jobs:
   test:
     runs-on: ubuntu-22.04
+    container:
+      image: movesrwth/stormpy:latest-debug
     steps:
       - uses: actions/checkout@v4