Skip to content

Actions: stormchecker/storm

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bounded MC support for IDTMCs + Bugfixes + Unification of bounded MC logic Check code format #1975: Pull request #916 synchronize by plindnercs
22s plindnercs:idtmc-bounded-mc
plindnercs:idtmc-bounded-mc
22s
Build Test Build Test #3568: Scheduled
56m 31s master
master
56m 31s
Build Test Build Test #3567: Manually run by volkm
1h 20m 28s master
master
1h 20m 28s
Conditional model checking (#887) Check code format #1974: Commit e0ff44d pushed by lukovdm
27s master
master
27s
Doxygen Doxygen #1919: Scheduled
18m 34s master
master
18m 34s
Conditional model checking Build Test #3566: Pull request #887 synchronize by lukovdm
56m 53s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
56m 53s
Conditional model checking Check code format #1973: Pull request #887 synchronize by lukovdm
20s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
20s
Conditional model checking Build Test #3565: Pull request #887 synchronize by lukovdm
1h 20m 23s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
1h 20m 23s
Conditional model checking Check code format #1972: Pull request #887 synchronize by lukovdm
32s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
32s
Build Test Build Test #3564: Scheduled
1h 7m 48s master
master
1h 7m 48s
Bounded MC support for IDTMCs + Bugfixes + Unification of bounded MC logic Check code format #1971: Pull request #916 opened by plindnercs
21s plindnercs:idtmc-bounded-mc
plindnercs:idtmc-bounded-mc
21s
Bounded MC support for IDTMCs + Bugfixes + Unification of bounded MC logic Build Test #3563: Pull request #916 opened by plindnercs
54m 51s plindnercs:idtmc-bounded-mc
plindnercs:idtmc-bounded-mc
54m 51s
Conditional model checking Check code format #1970: Pull request #887 synchronize by lukovdm
25s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
25s
Conditional model checking Build Test #3562: Pull request #887 synchronize by lukovdm
1h 25m 17s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
1h 25m 17s
Conditional model checking Build Test #3561: Pull request #887 synchronize by lukovdm
1h 14m 0s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
1h 14m 0s
Conditional model checking Check code format #1969: Pull request #887 synchronize by lukovdm
22s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
22s
Conditional model checking Check code format #1968: Pull request #887 synchronize by lukovdm
44s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
44s
Conditional model checking Build Test #3560: Pull request #887 synchronize by lukovdm
1h 15m 36s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
1h 15m 36s
Conditional model checking Check code format #1967: Pull request #887 synchronize by lukovdm
56s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
56s
Conditional model checking Build Test #3559: Pull request #887 synchronize by lukovdm
34m 7s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
34m 7s
Conditional model checking Check code format #1966: Pull request #887 synchronize by lukovdm
22s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
22s
Conditional model checking Build Test #3558: Pull request #887 synchronize by lukovdm
25m 18s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
25m 18s
Conditional model checking Check code format #1965: Pull request #887 synchronize by lukovdm
22s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
22s
Conditional model checking Build Test #3557: Pull request #887 synchronize by lukovdm
8m 38s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
8m 38s
Doxygen Doxygen #1918: Scheduled
7m 4s master
master
7m 4s