Skip to content

Actions: stormchecker/storm

Actions

Build Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
buildtest.yml
1,011 workflow runs
1,011 workflow runs

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
Build Test Build Test #3576: Scheduled
57m 45s master
master
57m 45s
Build Test Build Test #3575: Scheduled
50m 11s master
master
50m 11s
Fix compilation on recent clang Build Test #3574: Pull request #918 opened by tquatmann
1h 11m 45s tquatmann:fix/optional-property-error
tquatmann:fix/optional-property-error
1h 11m 45s
ConditionalHelper: fix printing warning in harmless cases Build Test #3573: Pull request #917 opened by tquatmann
1h 1m 28s tquatmann:fix/conditionl-warning
tquatmann:fix/conditionl-warning
1h 1m 28s
Build Test Build Test #3572: Scheduled
1h 8m 15s master
master
1h 8m 15s
Build Test Build Test #3571: Scheduled
1h 8m 50s master
master
1h 8m 50s
Build Test Build Test #3570: Scheduled
1h 2m 56s master
master
1h 2m 56s
Bounded MC support for IDTMCs + Bugfixes + Unification of bounded MC logic Build Test #3569: Pull request #916 synchronize by plindnercs
1h 27m 44s plindnercs:idtmc-bounded-mc
plindnercs:idtmc-bounded-mc
1h 27m 44s
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 Build Test #3566: Pull request #887 synchronize by lukovdm
56m 53s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
56m 53s
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
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 Build Test #3563: Pull request #916 opened by plindnercs
54m 51s plindnercs:idtmc-bounded-mc
plindnercs:idtmc-bounded-mc
54m 51s
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 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 Build Test #3559: Pull request #887 synchronize by lukovdm
34m 7s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
34m 7s
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 Build Test #3557: Pull request #887 synchronize by lukovdm
8m 38s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
8m 38s
Build Test Build Test #3556: Scheduled
1h 11m 19s master
master
1h 11m 19s
Conditional model checking Build Test #3555: Pull request #887 synchronize by lukovdm
56m 5s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
56m 5s
Conditional model checking Build Test #3554: Pull request #887 synchronize by lukovdm
57m 54s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
57m 54s
Conditional model checking Build Test #3553: Pull request #887 synchronize by lukovdm
1h 3m 46s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
1h 3m 46s
Conditional model checking Build Test #3552: Pull request #887 synchronize by lukovdm
16m 11s lukovdm:conditional-model-checking
lukovdm:conditional-model-checking
16m 11s