Skip to content

Actions: moves-rwth/stormpy

Actions

Build Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
buildtest.yml
171 workflow runs
171 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Test Build Test #497: Scheduled
December 18, 2024 10:10 31m 43s master
master
December 18, 2024 10:10 31m 43s
Bugfix in parse_properties (#198) Build Test #496: Commit ad46d5e pushed by sjunges
December 16, 2024 11:18 31m 12s master
master
December 16, 2024 11:18 31m 12s
Bugfix in parse_properties Build Test #495: Pull request #198 opened by sjunges
December 16, 2024 09:10 30m 57s sjunges:bugfix
sjunges:bugfix
December 16, 2024 09:10 30m 57s
Update changed namespaces in Storm (#197) Build Test #494: Commit 38d173d pushed by volkm
December 15, 2024 13:40 30m 59s master
master
December 15, 2024 13:40 30m 59s
Update changed namespaces in Storm Build Test #493: Pull request #197 synchronize by volkm
December 13, 2024 16:04 30m 31s TheGreatfpmK:core-fix
TheGreatfpmK:core-fix
December 13, 2024 16:04 30m 31s
Update changed namespaces in Storm Build Test #492: Pull request #197 synchronize by volkm
December 13, 2024 15:43 9m 50s TheGreatfpmK:core-fix
TheGreatfpmK:core-fix
December 13, 2024 15:43 9m 50s
Update changed namespaces in Storm Build Test #491: Pull request #197 opened by TheGreatfpmK
December 13, 2024 14:05 9m 46s TheGreatfpmK:core-fix
TheGreatfpmK:core-fix
December 13, 2024 14:05 9m 46s
Build Test Build Test #490: Scheduled
December 11, 2024 10:11 31m 56s master
master
December 11, 2024 10:11 31m 56s
Build Test Build Test #489: Scheduled
December 4, 2024 10:11 30m 49s master
master
December 4, 2024 10:11 30m 49s
Build Test Build Test #488: Scheduled
November 27, 2024 10:11 31m 52s master
master
November 27, 2024 10:11 31m 52s
Bump dawidd6/action-send-mail from 3 to 4 (#195) Build Test #487: Commit 32e1b54 pushed by volkm
November 25, 2024 21:01 31m 6s master
master
November 25, 2024 21:01 31m 6s
Bump dawidd6/action-send-mail from 3 to 4 Build Test #486: Pull request #195 opened by dependabot bot
November 25, 2024 15:19 30m 51s dependabot/github_actions/dawidd6/action-send-mail-4
dependabot/github_actions/dawidd6/action-send-mail-4
November 25, 2024 15:19 30m 51s
Bump peter-evans/create-pull-request from 6 to 7 Build Test #485: Pull request #194 opened by dependabot bot
November 25, 2024 15:19 30m 41s dependabot/github_actions/peter-evans/create-pull-request-7
dependabot/github_actions/peter-evans/create-pull-request-7
November 25, 2024 15:19 30m 41s
Fixed min in prob01max_states (#192) Build Test #484: Commit 9b89bfc pushed by volkm
November 25, 2024 10:20 31m 40s master
master
November 25, 2024 10:20 31m 40s
Fixed min in prob01max_states Build Test #483: Pull request #192 synchronize by volkm
November 25, 2024 09:02 30m 4s volkm:fix_min
volkm:fix_min
November 25, 2024 09:02 30m 4s
Code formatting (#193) Build Test #482: Commit b71e71d pushed by volkm
November 25, 2024 08:56 30m 51s master
master
November 25, 2024 08:56 30m 51s
Build Test Build Test #481: Scheduled
November 20, 2024 10:10 30m 52s master
master
November 20, 2024 10:10 30m 52s
Code formatting Build Test #480: Pull request #193 reopened by volkm
November 19, 2024 09:40 35m 55s ci/apply-code-format
ci/apply-code-format
November 19, 2024 09:40 35m 55s
Automatic formatting via black + CI support Build Test #479: Commit 22f94d2 pushed by volkm
November 19, 2024 09:36 31m 20s master
master
November 19, 2024 09:36 31m 20s
Fixed min in prob01max_states Build Test #478: Pull request #192 opened by volkm
November 18, 2024 17:24 30m 23s volkm:fix_min
volkm:fix_min
November 18, 2024 17:24 30m 23s
Build Test Build Test #477: Scheduled
November 13, 2024 10:10 30m 58s master
master
November 13, 2024 10:10 30m 58s
Otu update Build Test #476: Pull request #190 opened by sjunges
November 12, 2024 13:20 54m 21s sjunges:otu-update
sjunges:otu-update
November 12, 2024 13:20 54m 21s
Build Test Build Test #475: Scheduled
November 6, 2024 10:10 29m 53s master
master
November 6, 2024 10:10 29m 53s
Build Test Build Test #474: Scheduled
October 30, 2024 10:11 30m 42s master
master
October 30, 2024 10:11 30m 42s
Build Test Build Test #473: Scheduled
October 23, 2024 10:10 31m 12s master
master
October 23, 2024 10:10 31m 12s