Skip to content

Actions: moves-rwth/stormpy

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
247 workflow runs
247 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #185: by github-pages bot
August 23, 2024 17:45 30s
August 23, 2024 17:45 30s
Automatic formatting via black + CI support Build Test #459: Pull request #176 synchronize by volkm
August 23, 2024 17:26 28m 30s volkm:autoformat
volkm:autoformat
August 23, 2024 17:26 28m 30s
Automatic formatting via black + CI support check-code-format #3: Pull request #176 synchronize by volkm
August 23, 2024 17:26 22s volkm:autoformat
volkm:autoformat
August 23, 2024 17:26 22s
Bump Stormpy for binder (#184) Build Test #458: Commit 277ca2f pushed by volkm
August 23, 2024 17:16 29m 22s master
master
August 23, 2024 17:16 29m 22s
Bump Stormpy for binder Build Test #457: Pull request #184 opened by volkm
August 23, 2024 16:45 30m 30s volkm:binder
volkm:binder
August 23, 2024 16:45 30m 30s
pages build and deployment pages-build-deployment #184: by github-pages bot
August 23, 2024 11:52 29s
August 23, 2024 11:52 29s
Build Test Build Test #456: Manually run by volkm
August 23, 2024 11:21 33m 0s stable
stable
August 23, 2024 11:21 33m 0s
Stormpy version 1.9.0 (#183) Build Test #455: Commit 4e91eb1 pushed by volkm
August 23, 2024 11:18 33m 38s master
master
August 23, 2024 11:18 33m 38s
Stormpy version 1.9.0 Build Test #454: Pull request #183 opened by volkm
August 22, 2024 14:37 32m 13s volkm:version_1.9.0
volkm:version_1.9.0
August 22, 2024 14:37 32m 13s
pages build and deployment pages-build-deployment #183: by github-pages bot
August 21, 2024 10:42 26s
August 21, 2024 10:42 26s
Build Test Build Test #453: Scheduled
August 21, 2024 10:09 32m 52s master
master
August 21, 2024 10:09 32m 52s
Build Test Build Test #452: Manually run by linusheck
August 20, 2024 17:22 25m 29s storm-compilation
storm-compilation
August 20, 2024 17:22 25m 29s
Build Test Build Test #451: Manually run by linusheck
August 20, 2024 16:03 25m 8s storm-compilation
storm-compilation
August 20, 2024 16:03 25m 8s
Build Test Build Test #450: Manually run by linusheck
August 20, 2024 15:44 8m 55s storm-compilation
storm-compilation
August 20, 2024 15:44 8m 55s
Build Test Build Test #449: Manually run by linusheck
August 20, 2024 15:39 5m 0s storm-compilation
storm-compilation
August 20, 2024 15:39 5m 0s
pages build and deployment pages-build-deployment #182: by github-pages bot
August 19, 2024 16:21 28s
August 19, 2024 16:21 28s
Adaption to changes in DFT simulator (#175) Build Test #448: Commit 65d1ae1 pushed by volkm
August 19, 2024 15:47 34m 38s master
master
August 19, 2024 15:47 34m 38s
Build Test Build Test #447: Scheduled
August 14, 2024 10:09 13m 31s master
master
August 14, 2024 10:09 13m 31s
Adaption to changes in DFT simulator Build Test #446: Pull request #175 synchronize by volkm
August 13, 2024 09:23 34m 5s volkm:dft_simulation
volkm:dft_simulation
August 13, 2024 09:23 34m 5s
Adaption to changes in DFT simulator Build Test #445: Pull request #175 synchronize by volkm
August 13, 2024 08:53 32m 18s volkm:dft_simulation
volkm:dft_simulation
August 13, 2024 08:53 32m 18s
Build Test Build Test #444: Scheduled
August 7, 2024 10:09 19m 11s master
master
August 7, 2024 10:09 19m 11s
Automatic formatting via black + CI support Build Test #443: Pull request #176 synchronize by volkm
August 7, 2024 09:58 20m 7s volkm:autoformat
volkm:autoformat
August 7, 2024 09:58 20m 7s
Automatic formatting via black + CI support check-code-format #2: Pull request #176 synchronize by volkm
August 7, 2024 09:58 22s volkm:autoformat
volkm:autoformat
August 7, 2024 09:58 22s
Easier access to state valuations, choice labels and choice origins (… Build Test #442: Commit d995379 pushed by volkm
August 7, 2024 09:40 20m 8s master
master
August 7, 2024 09:40 20m 8s
Build Test Build Test #441: Scheduled
July 31, 2024 10:07 19m 12s master
master
July 31, 2024 10:07 19m 12s