Skip to content

Actions: moves-rwth/storm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,689 workflow runs
1,689 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Doxygen Doxygen #1524: Scheduled
March 24, 2025 08:25 8m 47s master
master
March 24, 2025 08:25 8m 47s
github_actions in /. - Update #985379450 Dependabot Updates #47: by dependabot bot
March 24, 2025 07:49 35s master
master
March 24, 2025 07:49 35s
Build Test Build Test #2576: Scheduled
March 24, 2025 06:25 54m 31s master
master
March 24, 2025 06:25 54m 31s
Cmake updates check-code-format #1189: Pull request #602 synchronize by sjunges
March 23, 2025 20:35 22s sjunges:stormpyprep
sjunges:stormpyprep
March 23, 2025 20:35 22s
Cmake updates Build Test #2575: Pull request #602 synchronize by sjunges
March 23, 2025 20:35 1h 11m 23s sjunges:stormpyprep
sjunges:stormpyprep
March 23, 2025 20:35 1h 11m 23s
Cmake updates Build Test #2574: Pull request #602 synchronize by sjunges
March 23, 2025 16:32 15m 16s sjunges:stormpyprep
sjunges:stormpyprep
March 23, 2025 16:32 15m 16s
Cmake updates check-code-format #1188: Pull request #602 synchronize by sjunges
March 23, 2025 16:32 25s sjunges:stormpyprep
sjunges:stormpyprep
March 23, 2025 16:32 25s
Cmake updates Build Test #2573: Pull request #602 synchronize by sjunges
March 23, 2025 16:22 39m 15s sjunges:stormpyprep
sjunges:stormpyprep
March 23, 2025 16:22 39m 15s
Cmake updates check-code-format #1187: Pull request #602 synchronize by sjunges
March 23, 2025 16:22 22s sjunges:stormpyprep
sjunges:stormpyprep
March 23, 2025 16:22 22s
Make glpk optional (#678) check-code-format #1186: Commit 13bac24 pushed by sjunges
March 23, 2025 15:26 26s master
master
March 23, 2025 15:26 26s
Support for macOS builds in CI (#686) check-code-format #1185: Commit d520efb pushed by volkm
March 23, 2025 13:53 25s master
master
March 23, 2025 13:53 25s
Warning on potential modeling issues in DFT (#687) check-code-format #1184: Commit e406bd3 pushed by volkm
March 23, 2025 13:52 29s master
master
March 23, 2025 13:52 29s
Make glpk optional Build Test #2572: Pull request #678 synchronize by sjunges
March 23, 2025 13:39 50m 21s sjunges:glpk-optional
sjunges:glpk-optional
March 23, 2025 13:39 50m 21s
Make glpk optional check-code-format #1183: Pull request #678 synchronize by sjunges
March 23, 2025 13:39 22s sjunges:glpk-optional
sjunges:glpk-optional
March 23, 2025 13:39 22s
Doxygen Doxygen #1523: Scheduled
March 23, 2025 08:21 7m 36s master
master
March 23, 2025 08:21 7m 36s
Build Test Build Test #2571: Scheduled
March 23, 2025 06:22 52m 47s master
master
March 23, 2025 06:22 52m 47s
Doxygen Doxygen #1522: Scheduled
March 22, 2025 08:21 7m 40s master
master
March 22, 2025 08:21 7m 40s
Build Test Build Test #2570: Scheduled
March 22, 2025 06:22 51m 19s master
master
March 22, 2025 06:22 51m 19s
Doxygen Doxygen #1521: Scheduled
March 21, 2025 08:23 7m 41s master
master
March 21, 2025 08:23 7m 41s
Build Test Build Test #2569: Scheduled
March 21, 2025 06:25 50m 9s master
master
March 21, 2025 06:25 50m 9s
Set BDD variable ordering for SFT from file check-code-format #1182: Pull request #690 opened by volkm
March 20, 2025 13:38 22s volkm:variable_order
volkm:variable_order
March 20, 2025 13:38 22s
Set BDD variable ordering for SFT from file Build Test #2568: Pull request #690 opened by volkm
March 20, 2025 13:38 51m 46s volkm:variable_order
volkm:variable_order
March 20, 2025 13:38 51m 46s
Doxygen Doxygen #1520: Scheduled
March 20, 2025 08:23 7m 34s master
master
March 20, 2025 08:23 7m 34s
Build Test Build Test #2567: Scheduled
March 20, 2025 06:24 52m 33s master
master
March 20, 2025 06:24 52m 33s
Doxygen Doxygen #1519: Scheduled
March 19, 2025 08:25 7m 28s master
master
March 19, 2025 08:25 7m 28s