Skip to content

Actions: moves-rwth/storm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,053 workflow runs
2,053 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add member transition matrix to bisimulation Check code format #1609: Pull request #826 opened by volkm
25s volkm:bisimulation
volkm:bisimulation
25s
Add member transition matrix to bisimulation Build Test #3134: Pull request #826 opened by volkm
1h 39m 21s volkm:bisimulation
volkm:bisimulation
1h 39m 21s
Build without Dd support (#685) Check code format #1608: Commit 28f9c04 pushed by volkm
23s master
master
23s
Build without Dd support Check code format #1607: Pull request #685 synchronize by volkm
23s volkm:dd_optional
volkm:dd_optional
23s
Build without Dd support Build Test #3133: Pull request #685 synchronize by volkm
1h 29m 2s volkm:dd_optional
volkm:dd_optional
1h 29m 2s
Doxygen Doxygen #1773: Scheduled
7m 39s master
master
7m 39s
Some cleanup in storm/models (#825) Check code format #1606: Commit 17c786d pushed by volkm
28s master
master
28s
Build Test Build Test #3132: Scheduled
2h 2m 37s master
master
2h 2m 37s
Simplified DFT SmtConstraint and removed include of cpp file in DFTAS… Check code format #1605: Commit 9b889f9 pushed by volkm
34s master
master
34s
Some cleanup in storm/models Build Test #3131: Pull request #825 opened by volkm
1h 43m 58s volkm:models
volkm:models
1h 43m 58s
Some cleanup in storm/models Check code format #1604: Pull request #825 opened by volkm
27s volkm:models
volkm:models
27s
Doxygen Doxygen #1772: Scheduled
6m 59s master
master
6m 59s
Build Test Build Test #3130: Scheduled
1h 24m 7s master
master
1h 24m 7s
Doxygen Doxygen #1771: Scheduled
6m 50s master
master
6m 50s
Build Test Build Test #3129: Scheduled
1h 33m 8s master
master
1h 33m 8s
Doxygen Doxygen #1770: Scheduled
7m 44s master
master
7m 44s
Build Test Build Test #3128: Scheduled
2h 13m 51s master
master
2h 13m 51s
Cleanup of some includes (#819) Check code format #1603: Commit 72c71a5 pushed by volkm
29s master
master
29s
Simplified DFT SmtConstraint and removed include of cpp file in DFTASFChecker Check code format #1602: Pull request #821 opened by volkm
20m 4s volkm:dftsmt
volkm:dftsmt
20m 4s
Simplified DFT SmtConstraint and removed include of cpp file in DFTASFChecker Build Test #3127: Pull request #821 opened by volkm
2h 16m 56s volkm:dftsmt
volkm:dftsmt
2h 16m 56s
Cleanup of some includes Build Test #3126: Pull request #819 synchronize by volkm
1h 30m 55s volkm:includes_cleanup
volkm:includes_cleanup
1h 30m 55s
Cleanup of some includes Check code format #1601: Pull request #819 synchronize by volkm
26s volkm:includes_cleanup
volkm:includes_cleanup
26s
Bump actions/checkout from 5 to 6 (#820) Check code format #1600: Commit b06d107 pushed by volkm
24s master
master
24s
Doxygen Doxygen #1769: Scheduled
6m 51s master
master
6m 51s
Bump actions/checkout from 5 to 6 Check code format #1599: Pull request #820 opened by dependabot bot
26s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
26s