Skip to content

Actions: stormchecker/storm-project-starter-python

Actions

Check code format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatcheck.yml
29 workflow runs
29 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
Update stormpy requirement from >=1.10 to >=1.12.0 (#12) Check code format #29: Commit fae48ce pushed by volkm
15s master
master
15s
Update stormpy requirement from >=1.10 to >=1.12.0 Check code format #28: Pull request #12 synchronize by dependabot bot
1m 58s dependabot/pip/stormpy-gte-1.11.3
dependabot/pip/stormpy-gte-1.11.3
1m 58s
Update stormpy requirement from >=1.10 to >=1.11.3 Check code format #27: Commit 127a8d9 pushed by dependabot bot
20s dependabot/pip/stormpy-gte-1.11.3
dependabot/pip/stormpy-gte-1.11.3
20s
Bumped Python version (#14) Check code format #26: Commit 2b027a9 pushed by volkm
2m 10s master
master
2m 10s
Update hatchling requirement from >=1.26 to >=1.27.0 (#13) Check code format #25: Commit fd7865a pushed by volkm
1m 8s master
master
1m 8s
Bumped Python version Check code format #24: Pull request #14 opened by volkm
2m 21s python
python
2m 21s
Bumped Python version Check code format #23: Commit ddd42c9 pushed by volkm
52s python
python
52s
Update stormpy requirement from >=1.10 to >=1.12.0 Check code format #22: Pull request #12 reopened by volkm
7m 52s dependabot/pip/stormpy-gte-1.11.3
dependabot/pip/stormpy-gte-1.11.3
7m 52s
Update hatchling requirement from >=1.26 to >=1.27.0 Check code format #21: Pull request #13 reopened by volkm
45s dependabot/pip/hatchling-gte-1.27.0
dependabot/pip/hatchling-gte-1.27.0
45s
Update hatchling requirement from >=1.26 to >=1.27.0 Check code format #20: Pull request #13 opened by dependabot bot
18s dependabot/pip/hatchling-gte-1.27.0
dependabot/pip/hatchling-gte-1.27.0
18s
Update hatchling requirement from >=1.26 to >=1.27.0 Check code format #19: Commit c1aa785 pushed by dependabot bot
19s dependabot/pip/hatchling-gte-1.27.0
dependabot/pip/hatchling-gte-1.27.0
19s
Update stormpy requirement from >=1.10 to >=1.12.0 Check code format #18: Pull request #12 opened by dependabot bot
14s dependabot/pip/stormpy-gte-1.11.3
dependabot/pip/stormpy-gte-1.11.3
14s
Update stormpy requirement from >=1.10 to >=1.11.3 Check code format #17: Commit 12cca35 pushed by dependabot bot
15s dependabot/pip/stormpy-gte-1.11.3
dependabot/pip/stormpy-gte-1.11.3
15s
Adaption after stormpy move to stormchecker (#11) Check code format #16: Commit 1a811ff pushed by volkm
3m 46s master
master
3m 46s
Adaption after stormpy move to stormchecker Check code format #15: Pull request #11 opened by volkm
2m 32s stormchecker
stormchecker
2m 32s
Adaption after stormpy move to stormchecker Check code format #14: Commit e617c36 pushed by volkm
2m 59s stormchecker
stormchecker
2m 59s
Bump peter-evans/create-pull-request from 7 to 8 (#10) Check code format #13: Commit 94d1961 pushed by volkm
18s master
master
18s
Bump peter-evans/create-pull-request from 7 to 8 Check code format #12: Pull request #10 opened by dependabot bot
14s dependabot/github_actions/peter-evans/create-pull-request-8
dependabot/github_actions/peter-evans/create-pull-request-8
14s
Bump peter-evans/create-pull-request from 7 to 8 Check code format #11: Commit 2c75608 pushed by dependabot bot
14s dependabot/github_actions/peter-evans/create-pull-request-8
dependabot/github_actions/peter-evans/create-pull-request-8
14s
Bump actions/checkout from 5 to 6 (#9) Check code format #10: Commit 9c13cdc pushed by volkm
18s master
master
18s
Bump actions/checkout from 5 to 6 Check code format #9: Pull request #9 opened by dependabot bot
18s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
18s
Bump actions/checkout from 5 to 6 Check code format #8: Commit 1864d82 pushed by dependabot bot
16s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
16s
Enhanced starter project by using pyproject.toml, formatting, pytest … Check code format #7: Commit b38708a pushed by volkm
18s master
master
18s
Enhanced starter project Check code format #6: Pull request #7 synchronize by volkm
15s pyproject
pyproject
15s
Updated paths to stormchecker Check code format #5: Commit aee66c1 pushed by volkm
21s pyproject
pyproject
21s