Skip to content

Actions: stormchecker/storm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
eliminate more settings Build Test #3933: Pull request #1025 synchronize by sjunges
1h 16m 45s sjunges:cleanup/elim-more-settings
sjunges:cleanup/elim-more-settings
1h 16m 45s
eliminate more settings Check code format #2335: Pull request #1025 synchronize by sjunges
6m 34s sjunges:cleanup/elim-more-settings
sjunges:cleanup/elim-more-settings
6m 34s
eliminate more settings Lint check #69: Pull request #1025 synchronize by sjunges
7m 42s sjunges:cleanup/elim-more-settings
sjunges:cleanup/elim-more-settings
7m 42s
Add upper and lowerbounds to check results. Build Test #3932: Pull request #1031 synchronize by lukovdm
48m 21s lukovdm:soundresults
lukovdm:soundresults
48m 21s
Add upper and lowerbounds to check results. Lint check #68: Pull request #1031 synchronize by lukovdm
3m 2s lukovdm:soundresults
lukovdm:soundresults
3m 2s
Add upper and lowerbounds to check results. Check code format #2334: Pull request #1031 synchronize by lukovdm
29s lukovdm:soundresults
lukovdm:soundresults
29s
Doxygen Doxygen #2041: Scheduled
7m 28s master
master
7m 28s
github_actions in /. - Update #1537963812 Dependabot Updates #131: by dependabot Bot
1m 18s master
master
1m 18s
Build Test Build Test #3931: Scheduled
51m 18s master
master
51m 18s
Split storm-dft.h into analysis, io and transformation Lint check #67: Pull request #1034 synchronize by volkm
2m 45s volkm:dft-includes
volkm:dft-includes
2m 45s
Split storm-dft.h into analysis, io and transformation Build Test #3930: Pull request #1034 synchronize by volkm
1h 17m 19s volkm:dft-includes
volkm:dft-includes
1h 17m 19s
Split storm-dft.h into analysis, io and transformation Check code format #2333: Pull request #1034 synchronize by volkm
51s volkm:dft-includes
volkm:dft-includes
51s
Split storm-dft.h into analysis, io and transformation Lint check #66: Pull request #1034 opened by volkm
3m 43s volkm:dft-includes
volkm:dft-includes
3m 43s
Split storm-dft.h into analysis, io and transformation Build Test #3929: Pull request #1034 opened by volkm
39m 30s volkm:dft-includes
volkm:dft-includes
39m 30s
Split storm-dft.h into analysis, io and transformation Check code format #2332: Pull request #1034 opened by volkm
30s volkm:dft-includes
volkm:dft-includes
30s
Full lint check Full lint check #3: Scheduled
51m 34s master
master
51m 34s
Doxygen Doxygen #2040: Scheduled
7m 8s master
master
7m 8s
Build Test Build Test #3928: Scheduled
49m 25s master
master
49m 25s
Second batch of clang-tidy fixes (#1026) Check code format #2331: Commit eb4f638 pushed by volkm
23s master
master
23s
Doxygen Doxygen #2039: Scheduled
7m 3s master
master
7m 3s
Build Test Build Test #3927: Scheduled
48m 44s master
master
48m 44s
eliminate more settings Build Test #3926: Pull request #1025 synchronize by sjunges
36m 8s sjunges:cleanup/elim-more-settings
sjunges:cleanup/elim-more-settings
36m 8s
eliminate more settings Lint check #65: Pull request #1025 synchronize by sjunges
4m 41s sjunges:cleanup/elim-more-settings
sjunges:cleanup/elim-more-settings
4m 41s
eliminate more settings Check code format #2330: Pull request #1025 synchronize by sjunges
25s sjunges:cleanup/elim-more-settings
sjunges:cleanup/elim-more-settings
25s
Change boost::optional to std::optional in BoundedUntilFormula (#1030) Check code format #2329: Commit 0f11e90 pushed by AlexBork
28s master
master
28s