Skip to content

Actions: stormchecker/stormpy

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

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
pages build and deployment pages-build-deployment #416: by github-pages Bot
24s gh-pages
gh-pages
24s
pages build and deployment pages-build-deployment #415: by github-pages Bot
10m 4s gh-pages
gh-pages
10m 4s
Build and test wheels Build and test wheels #16: Manually run by volkm
1h 6m 49s master
master
1h 6m 49s
Fixed wheel generation (#409) Check code format #651: Commit 10b48be pushed by volkm
10m 58s master
master
10m 58s
Fixed wheel generation (#409) Build Test #1095: Commit 10b48be pushed by volkm
1h 33m 1s master
master
1h 33m 1s
Improved CI for creating wheels (#408) Check code format #650: Commit 619d715 pushed by volkm
16s master
master
16s
Improved CI for creating wheels (#408) Build Test #1094: Commit 619d715 pushed by volkm
46m 7s master
master
46m 7s
Fixed wheel generation Build Test #1093: Pull request #409 opened by volkm
1h 15m 20s volkm:wheel_fix
volkm:wheel_fix
1h 15m 20s
Fixed wheel generation Check code format #649: Pull request #409 opened by volkm
7m 34s volkm:wheel_fix
volkm:wheel_fix
7m 34s
Improved CI for creating wheels Build Test #1092: Pull request #408 opened by volkm
36m 11s volkm:ci_wheel
volkm:ci_wheel
36m 11s
Improved CI for creating wheels Check code format #648: Pull request #408 opened by volkm
19s volkm:ci_wheel
volkm:ci_wheel
19s
github_actions in /. - Update #1391245915 Dependabot Updates #141: by dependabot Bot
40s master
master
40s
pip in /. - Update #1391245966 Dependabot Updates #140: by dependabot Bot
42s master
master
42s
Version 1.13.1 (#407) Check code format #647: Commit 43b1f39 pushed by volkm
17s 1.13.1
1.13.1
17s
v1.13.1 Release new version #7: Release 1.13.1 published by volkm
1h 48m 15s
1h 48m 15s
pages build and deployment pages-build-deployment #414: by github-pages Bot
22s gh-pages
gh-pages
22s
Version 1.13.1 (#407) Check code format #646: Commit 43b1f39 pushed by volkm
19s master
master
19s
Version 1.13.1 (#407) Build Test #1091: Commit 43b1f39 pushed by volkm
1h 4m 9s master
master
1h 4m 9s
pages build and deployment pages-build-deployment #413: by github-pages Bot
27s gh-pages
gh-pages
27s
CI: remove binder update step as it is already handled by dependabot … Check code format #645: Commit b43cfd0 pushed by volkm
17s master
master
17s
CI: remove binder update step as it is already handled by dependabot … Build Test #1090: Commit b43cfd0 pushed by volkm
39m 17s master
master
39m 17s
Version 1.13.1 Build Test #1089: Pull request #407 opened by volkm
48m 2s volkm:1.13.1
volkm:1.13.1
48m 2s
Version 1.13.1 Check code format #644: Pull request #407 opened by volkm
21s volkm:1.13.1
volkm:1.13.1
21s
CI: remove binder update step as it is already handled by dependabot Check code format #643: Pull request #406 opened by volkm
19s volkm:ci_release
volkm:ci_release
19s
CI: remove binder update step as it is already handled by dependabot Build Test #1088: Pull request #406 opened by volkm
40m 27s volkm:ci_release
volkm:ci_release
40m 27s