Skip to content

Actions: stormchecker/stormpy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,279 workflow runs
1,279 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Test Build Test #959: Scheduled
48m 7s master
master
48m 7s
Scheduled build and test wheels Scheduled build and test wheels #13: Scheduled
1h 26m 43s master
master
1h 26m 43s
pip in /. - Update #1297737861 Dependabot Updates #121: by dependabot bot
41s master
master
41s
github_actions in /. - Update #1297737819 Dependabot Updates #120: by dependabot bot
39s master
master
39s
Build Test Build Test #958: Scheduled
43m 34s master
master
43m 34s
Adapted links to some repos after move to stormchecker organization Build Test #957: Pull request #374 synchronize by volkm
1h 7m 33s volkm:stormchecker
volkm:stormchecker
1h 7m 33s
Adapted links to some repos after move to stormchecker organization Check code format #508: Pull request #374 synchronize by volkm
22m 8s volkm:stormchecker
volkm:stormchecker
22m 8s
github_actions in /. - Update #1290025946 Dependabot Updates #119: by dependabot bot
47s master
master
47s
pip in /. - Update #1290025950 Dependabot Updates #118: by dependabot bot
49s master
master
49s
pip in /. - Update #1289429964 Dependabot Updates #117: by dependabot bot
48s master
master
48s
Bump dawidd6/action-send-mail from 15 to 16 Build Test #956: Pull request #375 opened by dependabot bot
47m 8s dependabot/github_actions/dawidd6/action-send-mail-16
dependabot/github_actions/dawidd6/action-send-mail-16
47m 8s
Bump dawidd6/action-send-mail from 15 to 16 Check code format #507: Pull request #375 opened by dependabot bot
21s dependabot/github_actions/dawidd6/action-send-mail-16
dependabot/github_actions/dawidd6/action-send-mail-16
21s
Bump dawidd6/action-send-mail from 15 to 16 Check code format #506: Commit f3aa82e pushed by dependabot bot
18s dependabot/github_actions/dawidd6/action-send-mail-16
dependabot/github_actions/dawidd6/action-send-mail-16
18s
github_actions in /. - Update #1289426811 Dependabot Updates #116: by dependabot bot
45s master
master
45s
Adapted links to some repos after move to stormchecker organization Build Test #955: Pull request #374 opened by volkm
1h 28m 13s volkm:stormchecker
volkm:stormchecker
1h 28m 13s
Adapted links to some repos after move to stormchecker organization Check code format #505: Pull request #374 opened by volkm
17m 20s volkm:stormchecker
volkm:stormchecker
17m 20s
Scheduled build and test wheels Scheduled build and test wheels #12: Scheduled
1h 49m 13s master
master
1h 49m 13s
pages build and deployment pages-build-deployment #385: by github-pages bot
11m 45s gh-pages
gh-pages
11m 45s
pages build and deployment pages-build-deployment #384: by github-pages bot
2m 20s gh-pages
gh-pages
2m 20s
Code formatting Check code format #504: Pull request #372 synchronize by volkm
11m 34s ci/apply-code-format
ci/apply-code-format
11m 34s
Code formatting Build Test #954: Pull request #372 synchronize by volkm
1h 40m 17s ci/apply-code-format
ci/apply-code-format
1h 40m 17s
Fixed include order Check code format #503: Commit 2703bee pushed by volkm
2m 47s ci/apply-code-format
ci/apply-code-format
2m 47s
Code formatting Build Test #953: Pull request #372 reopened by volkm
1h 0m 53s ci/apply-code-format
ci/apply-code-format
1h 0m 53s
Code formatting Check code format #502: Pull request #372 reopened by volkm
5m 16s ci/apply-code-format
ci/apply-code-format
5m 16s
Apply code format Apply code format #5: Manually run by volkm
4m 29s master
master
4m 29s