Skip to content

Actions: stormchecker/storm

Actions

Check code format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatcheck.yml
798 workflow runs
798 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
import/export of umb models with rational intervals Check code format #2011: Pull request #928 synchronize by tquatmann
45s tquatmann:feature/umb-exact-intervals
tquatmann:feature/umb-exact-intervals
45s
Bounded MC support for IDTMCs + Bugfixes + Unification of bounded MC … Check code format #2010: Commit 36285af pushed by tquatmann
36s master
master
36s
Fix inverting absolute vs. relative precision for lra Check code format #2009: Pull request #929 opened by tquatmann
25m 9s tquatmann:fix/lra-options
tquatmann:fix/lra-options
25m 9s
import/export of umb models with rational intervals Check code format #2008: Pull request #928 opened by tquatmann
27s tquatmann:feature/umb-exact-intervals
tquatmann:feature/umb-exact-intervals
27s
Bounded MC support for IDTMCs + Bugfixes + Unification of bounded MC logic Check code format #2007: Pull request #916 synchronize by tquatmann
29s plindnercs:idtmc-bounded-mc
plindnercs:idtmc-bounded-mc
29s
Version 1.13.0 Check code format #2006: Pull request #927 synchronize by volkm
25s volkm:v1.13
volkm:v1.13
25s
Version 1.13.0 Check code format #2005: Pull request #927 synchronize by volkm
1m 26s volkm:v1.13
volkm:v1.13
1m 26s
Version 1.13.0 Check code format #2004: Pull request #927 opened by volkm
35s volkm:v1.13
volkm:v1.13
35s
CI: revised workflow for creating deb package (#926) Check code format #2003: Commit 216d86b pushed by volkm
33s master
master
33s
CI: revised workflow for creating deb package Check code format #2002: Pull request #926 synchronize by volkm
33s volkm:apt
volkm:apt
33s
CI: revised workflow for creating deb package Check code format #2001: Pull request #926 synchronize by volkm
23s volkm:apt
volkm:apt
23s
CI: revised workflow for creating deb package Check code format #2000: Pull request #926 opened by volkm
31s volkm:apt
volkm:apt
31s
Fix incorrect assert in observation trace unfolder (#925) Check code format #1999: Commit 43de17e pushed by volkm
34s master
master
34s
Fix incorrect assert in observation trace unfolder Check code format #1998: Pull request #925 synchronize by lukovdm
12m 6s lukovdm:obstraceunfolder_bug
lukovdm:obstraceunfolder_bug
12m 6s
Fix incorrect assert in observation trace unfolder Check code format #1997: Pull request #925 synchronize by lukovdm
18m 23s lukovdm:obstraceunfolder_bug
lukovdm:obstraceunfolder_bug
18m 23s
Fix incorrect assert in observation trace unfolder Check code format #1996: Pull request #925 opened by lukovdm
30s lukovdm:obstraceunfolder_bug
lukovdm:obstraceunfolder_bug
30s
Bounded MC support for IDTMCs + Bugfixes + Unification of bounded MC logic Check code format #1995: Pull request #916 synchronize by plindnercs
25s plindnercs:idtmc-bounded-mc
plindnercs:idtmc-bounded-mc
25s
Added missing include (#924) Check code format #1994: Commit 1bbeefc pushed by volkm
23s master
master
23s
Bump Spot to version 2.15.1 (#923) Check code format #1993: Commit 3cb0031 pushed by volkm
25s master
master
25s
Added missing include Check code format #1992: Pull request #924 opened by volkm
32s volkm:include
volkm:include
32s
Bump Spot to version 2.15.1 Check code format #1991: Pull request #923 opened by volkm
24s volkm:spot
volkm:spot
24s
Bump dawidd6/action-send-mail from 16 to 17 (#922) Check code format #1990: Commit a0b00ee pushed by volkm
34s master
master
34s
Bump dawidd6/action-send-mail from 16 to 17 Check code format #1989: Pull request #922 opened by dependabot Bot
31s dependabot/github_actions/dawidd6/action-send-mail-17
dependabot/github_actions/dawidd6/action-send-mail-17
31s
Bump dawidd6/action-send-mail from 16 to 17 Check code format #1988: Commit b2782f2 pushed by dependabot Bot
25s dependabot/github_actions/dawidd6/action-send-mail-17
dependabot/github_actions/dawidd6/action-send-mail-17
25s
Revised installation paths (#920) Check code format #1987: Commit 6fa86e7 pushed by volkm
35s master
master
35s