Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: volkm/stormpy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
401 workflow runs
401 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Test Build Test #248: Scheduled
1h 18m 3s master
master
1h 18m 3s
Build Test Build Test #247: Scheduled
52m 51s master
master
52m 51s
Build Test Build Test #246: Scheduled
1h 19m 0s master
master
1h 19m 0s
Build Test Build Test #245: Scheduled
45m 43s master
master
45m 43s
Stormpy version 1.11.3 Check code format #204: Commit 2435c2e pushed by volkm
16s v1.11.3
v1.11.3
16s
Fix for STORM_VERSION by taking the STORM_GIT_TAG Check code format #203: Commit a0f98a6 pushed by volkm
15s wheel
wheel
15s
Stormpy version 1.11.2 Check code format #202: Commit 4672680 pushed by volkm
21s v1.11.2
v1.11.2
21s
Fixed pybind and scikit-build-core versions Check code format #201: Commit 5ff49f7 pushed by volkm
18s pybind
pybind
18s
Bumped mac os for cibuildwheel Check code format #200: Commit 5f46104 pushed by volkm
17s mac
mac
17s
Migrate to newer Mac runners Check code format #199: Commit cde1127 pushed by volkm
17s mac
mac
17s
Build Test Build Test #244: Scheduled
45m 21s master
master
45m 21s
Build wheels on Linux ARM Check code format #198: Commit e553cd0 pushed by volkm
16s wheels_arm
wheels_arm
16s
Build wheels on Linux ARM Check code format #197: Commit a016ea5 pushed by volkm
18s wheels_arm
wheels_arm
18s
Release new version Release new version #17: published by volkm
1h 21m 48s
1h 21m 48s
Test Check code format #196: Commit 3499b4b pushed by volkm
1m 12s 1.11.14
1.11.14
1m 12s
Test Build Test #243: Commit 3499b4b pushed by volkm
5m 35s master
master
5m 35s
Test Check code format #195: Commit 3499b4b pushed by volkm
38s master
master
38s
Release new version Release new version #16: published by volkm
6m 34s
6m 34s
Test Check code format #194: Commit 064e8f1 pushed by volkm
23s 1.11.13
1.11.13
23s
Test Check code format #193: Commit 064e8f1 pushed by volkm
36s master
master
36s
Test Build Test #242: Commit 064e8f1 pushed by volkm
2m 36s master
master
2m 36s
Release new version Release new version #15: published by volkm
1h 2m 25s
1h 2m 25s
Test Check code format #192: Commit d937bf5 pushed by volkm
20s 1.11.12
1.11.12
20s
Test Build Test #241: Commit d937bf5 pushed by volkm
37s master
master
37s
Test Check code format #191: Commit d937bf5 pushed by volkm
16s master
master
16s