We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a19fd7a commit c1d955bCopy full SHA for c1d955b
.github/workflows/buildtest.yml
@@ -25,7 +25,7 @@ jobs:
25
- {stormpyImg: "ci"}
26
steps:
27
- name: Git clone
28
- uses: actions/checkout@v5
+ uses: actions/checkout@v6
29
- name: Build from Dockerfile
30
run: docker build -t movesrwth/stormpy-starter . --build-arg STORMPY_BASE=movesrwth/stormpy:${{ matrix.config.stormpyImg }}
31
- name: Run Docker
0 commit comments