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
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Enhanced starter project Check code format #4: Pull request #7 synchronize by volkm
17s pyproject
pyproject
17s
Updated Dockerfile Check code format #3: Commit e9ef25d pushed by volkm
18s pyproject
pyproject
18s
Enhanced starter project Check code format #2: Pull request #7 opened by volkm
19s pyproject
pyproject
19s
Enhanced CI Check code format #1: Commit 0713c12 pushed by volkm
5m 20s pyproject
pyproject
5m 20s