From 9e4a48ca215e377801948e244ce35ec77ed66c96 Mon Sep 17 00:00:00 2001 From: Linus Heck Date: Tue, 2 Jul 2024 16:32:11 +0200 Subject: [PATCH] Attempt to run on an image --- .github/workflows/lint.yml | 2 ++ .github/workflows/test.yml | 2 ++ 2 files changed, 4 insertions(+) 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