Skip to content

Actions: moves-rwth/storm

Actions

Build Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
buildtest.yml
891 workflow runs
891 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Test Build Test #1490: Scheduled
September 6, 2023 06:15 2h 29m 8s master
master
September 6, 2023 06:15 2h 29m 8s
Build Test Build Test #1489: Scheduled
September 5, 2023 06:15 1h 54m 52s master
master
September 5, 2023 06:15 1h 54m 52s
Build Test Build Test #1488: Scheduled
September 4, 2023 06:16 2h 31m 56s master
master
September 4, 2023 06:16 2h 31m 56s
Build Test Build Test #1487: Scheduled
September 3, 2023 06:14 7m 49s master
master
September 3, 2023 06:14 7m 49s
Build Test Build Test #1486: Scheduled
September 2, 2023 06:13 2h 15m 48s master
master
September 2, 2023 06:13 2h 15m 48s
Build Test Build Test #1485: Scheduled
September 1, 2023 06:16 1h 55m 44s master
master
September 1, 2023 06:16 1h 55m 44s
Build Test Build Test #1484: Scheduled
August 31, 2023 06:15 16m 11s master
master
August 31, 2023 06:15 16m 11s
Build Test Build Test #1483: Scheduled
August 30, 2023 06:15 2h 27m 38s master
master
August 30, 2023 06:15 2h 27m 38s
Build Test Build Test #1482: Scheduled
August 29, 2023 06:15 2h 31m 9s master
master
August 29, 2023 06:15 2h 31m 9s
Add check to only compile clipping tests if Z3 is installed Build Test #1481: Pull request #410 opened by AlexBork
August 28, 2023 11:43 2h 32m 13s AlexBork:pomdp-test-z3-fix
AlexBork:pomdp-test-z3-fix
August 28, 2023 11:43 2h 32m 13s
Build Test Build Test #1480: Scheduled
August 28, 2023 06:16 3m 55s master
master
August 28, 2023 06:16 3m 55s
Build Test Build Test #1479: Scheduled
August 27, 2023 06:14 2h 31m 43s master
master
August 27, 2023 06:14 2h 31m 43s
Build Test Build Test #1478: Scheduled
August 26, 2023 06:14 2h 12m 42s master
master
August 26, 2023 06:14 2h 12m 42s
Support for interval-based transitions in storm Build Test #1477: Pull request #409 synchronize by sjunges
August 25, 2023 19:51 1h 36m 13s sjunges:intervals
sjunges:intervals
August 25, 2023 19:51 1h 36m 13s
Support for interval-based transitions in storm Build Test #1476: Pull request #409 synchronize by sjunges
August 25, 2023 19:22 24m 25s sjunges:intervals
sjunges:intervals
August 25, 2023 19:22 24m 25s
Support for interval-based transitions in storm Build Test #1475: Pull request #409 opened by sjunges
August 25, 2023 18:41 25m 58s sjunges:intervals
sjunges:intervals
August 25, 2023 18:41 25m 58s
Build Test Build Test #1474: Scheduled
August 25, 2023 06:15 2h 33m 43s master
master
August 25, 2023 06:15 2h 33m 43s
Build Test Build Test #1473: Scheduled
August 24, 2023 06:15 2h 51m 13s master
master
August 24, 2023 06:15 2h 51m 13s
Build Test Build Test #1472: Scheduled
August 23, 2023 06:15 2h 45m 49s master
master
August 23, 2023 06:15 2h 45m 49s
Build Test Build Test #1471: Scheduled
August 22, 2023 06:15 2h 12m 24s master
master
August 22, 2023 06:15 2h 12m 24s
More efficient MEC and SCC Decompositions Build Test #1470: Pull request #407 opened by tquatmann
August 21, 2023 08:33 2h 19m 45s tquatmann:scc-mec-decompositions
tquatmann:scc-mec-decompositions
August 21, 2023 08:33 2h 19m 45s
Build Test Build Test #1469: Scheduled
August 21, 2023 06:15 2h 15m 0s master
master
August 21, 2023 06:15 2h 15m 0s
Time Travelling Build Test #1468: Pull request #263 reopened by linusheck
August 20, 2023 11:34 2h 40m 23s linusheck:timetravelling-merge
linusheck:timetravelling-merge
August 20, 2023 11:34 2h 40m 23s
Build Test Build Test #1467: Scheduled
August 20, 2023 06:13 2h 38m 32s master
master
August 20, 2023 06:13 2h 38m 32s
BitVector: added support for reverse iteration Build Test #1466: Pull request #406 synchronize by tquatmann
August 19, 2023 14:15 2h 24m 56s tquatmann:bitvector
tquatmann:bitvector
August 19, 2023 14:15 2h 24m 56s
ProTip! You can narrow down the results and go further in time using created:<2023-08-19 or the other filters available.