Skip to content

Actions: stormchecker/stormpy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,535 workflow runs
1,535 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
Migrate dft and pars to experimental new generic handling Build Test #1199: Pull request #445 synchronize by linusheck
43m 13s generic-types
generic-types
43m 13s
Migrate dft and pars to experimental new generic handling Check code format #764: Pull request #445 synchronize by linusheck
19s generic-types
generic-types
19s
Merge branch 'master' of github.com:moves-rwth/stormpy into generic-t… Check code format #763: Commit 8715978 pushed by linusheck
20s generic-types
generic-types
20s
Migrate dft and pars to experimental new generic handling Check code format #762: Commit 6c8815d pushed by linusheck
22s generic-types
generic-types
22s
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