Skip to content

Actions: stormchecker/stormpy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,531 workflow runs
1,531 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
pip in /. - Update #1536236161 Dependabot Updates #169: by dependabot Bot
49s master
master
49s
github_actions in /. - Update #1536236131 Dependabot Updates #168: by dependabot Bot
1m 14s master
master
1m 14s
Better Sphinx docs: example improvement on logic Check code format #761: Pull request #441 synchronize by linusheck
11m 54s linusheck:better-sphinx-docs
linusheck:better-sphinx-docs
11m 54s
Better Sphinx docs: example improvement on logic Build Test #1198: Pull request #441 synchronize by linusheck
1h 24m 9s linusheck:better-sphinx-docs
linusheck:better-sphinx-docs
1h 24m 9s
pages build and deployment pages-build-deployment #451: by github-pages Bot
6m 51s gh-pages
gh-pages
6m 51s
Better Sphinx docs: example improvement on logic Build Test #1197: Pull request #441 synchronize by linusheck
1h 13m 28s linusheck:better-sphinx-docs
linusheck:better-sphinx-docs
1h 13m 28s
Better Sphinx docs: example improvement on logic Check code format #760: Pull request #441 synchronize by linusheck
36s linusheck:better-sphinx-docs
linusheck:better-sphinx-docs
36s
Migrate unique_ptr and shared_ptr uses to py::smart_holder (#442) Check code format #759: Commit 4237e63 pushed by linusheck
21s master
master
21s
Migrate unique_ptr and shared_ptr uses to py::smart_holder (#442) Build Test #1196: Commit 4237e63 pushed by linusheck
43m 5s master
master
43m 5s
pages build and deployment pages-build-deployment #450: by github-pages Bot
25s gh-pages
gh-pages
25s
Removed MANIFEST.in (#444) Build Test #1195: Commit 05c9b6e pushed by volkm
38m 19s master
master
38m 19s
Removed MANIFEST.in (#444) Check code format #758: Commit 05c9b6e pushed by volkm
16s master
master
16s
Removed MANIFEST.in Build Test #1194: Pull request #444 opened by volkm
41m 54s volkm:manifest
volkm:manifest
41m 54s
Removed MANIFEST.in Check code format #757: Pull request #444 opened by volkm
19s volkm:manifest
volkm:manifest
19s
v1.14.0 Release new version #9: Release 1.14.0 published by volkm
2h 14m 57s
2h 14m 57s
Version 1.14.0 (#439) Check code format #756: Commit d22615c pushed by volkm
22s 1.14.0
1.14.0
22s
pages build and deployment pages-build-deployment #449: by github-pages Bot
53s gh-pages
gh-pages
53s
Version 1.14.0 (#439) Check code format #755: Commit d22615c pushed by volkm
2m 45s master
master
2m 45s
Version 1.14.0 (#439) Build Test #1193: Commit d22615c pushed by volkm
1h 52m 25s master
master
1h 52m 25s
Migrate unique_ptr and shared_ptr uses to py::smart_holder Build Test #1192: Pull request #442 opened by linusheck
3h 40m 6s linusheck:smart-holder
linusheck:smart-holder
3h 40m 6s
Migrate unique_ptr and shared_ptr uses to py::smart_holder Check code format #754: Pull request #442 opened by linusheck
21s linusheck:smart-holder
linusheck:smart-holder
21s
Better Sphinx docs: example improvement on logic Build Test #1191: Pull request #441 synchronize by linusheck
3h 39m 39s linusheck:better-sphinx-docs
linusheck:better-sphinx-docs
3h 39m 39s
Better Sphinx docs: example improvement on logic Check code format #753: Pull request #441 synchronize by linusheck
8m 30s linusheck:better-sphinx-docs
linusheck:better-sphinx-docs
8m 30s
pages build and deployment pages-build-deployment #448: by github-pages Bot
14m 15s gh-pages
gh-pages
14m 15s
Better Sphinx docs: example improvement on logic Check code format #752: Pull request #441 synchronize by linusheck
1m 26s linusheck:better-sphinx-docs
linusheck:better-sphinx-docs
1m 26s