Skip to content

Actions: stormchecker/storm-project-starter-python

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
buildtest.yml
63 workflow runs
63 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Test Test #84: Scheduled
2m 30s master
master
2m 30s
Test Test #83: Scheduled
2m 21s master
master
2m 21s
Update stormpy requirement from >=1.10 to >=1.12.0 (#12) Test #82: Commit fae48ce pushed by volkm
2m 28s master
master
2m 28s
Update stormpy requirement from >=1.10 to >=1.12.0 Test #81: Pull request #12 synchronize by dependabot Bot
4m 17s dependabot/pip/stormpy-gte-1.11.3
dependabot/pip/stormpy-gte-1.11.3
4m 17s
Bumped Python version (#14) Test #80: Commit 2b027a9 pushed by volkm
3m 58s master
master
3m 58s
Update hatchling requirement from >=1.26 to >=1.27.0 (#13) Test #79: Commit fd7865a pushed by volkm
9m 55s master
master
9m 55s
Bumped Python version Test #78: Pull request #14 opened by volkm
13m 14s python
python
13m 14s
Update stormpy requirement from >=1.10 to >=1.12.0 Test #77: Pull request #12 reopened by volkm
9m 46s dependabot/pip/stormpy-gte-1.11.3
dependabot/pip/stormpy-gte-1.11.3
9m 46s
Update hatchling requirement from >=1.26 to >=1.27.0 Test #76: Pull request #13 reopened by volkm
9m 1s dependabot/pip/hatchling-gte-1.27.0
dependabot/pip/hatchling-gte-1.27.0
9m 1s
Test Test #75: Scheduled
2m 20s master
master
2m 20s
Test Test #74: Scheduled
2m 26s master
master
2m 26s
Test Test #73: Scheduled
2m 22s master
master
2m 22s
Test Test #72: Scheduled
2m 17s master
master
2m 17s
Test Test #71: Scheduled
3m 1s master
master
3m 1s
Test Test #70: Scheduled
2m 22s master
master
2m 22s
Test Test #69: Scheduled
2m 26s master
master
2m 26s
Test Test #68: Scheduled
2m 25s master
master
2m 25s
Test Test #67: Scheduled
2m 31s master
master
2m 31s
Test Test #66: Scheduled
2m 22s master
master
2m 22s
Bump peter-evans/create-pull-request from 7 to 8 (#10) Test #65: Commit 94d1961 pushed by volkm
2m 19s master
master
2m 19s
Bump peter-evans/create-pull-request from 7 to 8 Test #64: Pull request #10 opened by dependabot Bot
2m 15s dependabot/github_actions/peter-evans/create-pull-request-8
dependabot/github_actions/peter-evans/create-pull-request-8
2m 15s
Test Test #63: Scheduled
2m 23s master
master
2m 23s
Bump actions/checkout from 5 to 6 (#9) Test #62: Commit 9c13cdc pushed by volkm
2m 21s master
master
2m 21s
Bump actions/checkout from 5 to 6 Test #61: Pull request #9 opened by dependabot Bot
2m 24s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
2m 24s
Enhanced starter project by using pyproject.toml, formatting, pytest … Test #60: Commit b38708a pushed by volkm
2m 21s master
master
2m 21s