Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
427 workflow run results
427 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TUM Practical Course Summer 2023: Termination Analyses coverage #736: Pull request #1093 synchronize by jerhard
November 13, 2023 10:42 28m 45s serenita:master
serenita:master
November 13, 2023 10:42 28m 45s
coverage coverage #735: Scheduled
November 13, 2023 02:09 29m 15s master
master
November 13, 2023 02:09 29m 15s
coverage coverage #734: Scheduled
November 12, 2023 02:10 34m 8s master
master
November 12, 2023 02:10 34m 8s
coverage coverage #733: Scheduled
November 11, 2023 02:40 35m 23s master
master
November 11, 2023 02:40 35m 23s
TUM Practical Course Summer 2023: Termination Analyses coverage #732: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 21:09 14m 47s serenita:master
serenita:master
November 10, 2023 21:09 14m 47s
TUM Practical Course Summer 2023: Termination Analyses coverage #731: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 20:01 18m 13s serenita:master
serenita:master
November 10, 2023 20:01 18m 13s
TUM Practical Course Summer 2023: Termination Analyses coverage #730: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 19:55 24m 18s serenita:master
serenita:master
November 10, 2023 19:55 24m 18s
TUM Practical Course Summer 2023: Termination Analyses coverage #729: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 19:46 15m 56s serenita:master
serenita:master
November 10, 2023 19:46 15m 56s
TUM Practical Course Summer 2023: Termination Analyses coverage #728: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 19:40 10m 29s serenita:master
serenita:master
November 10, 2023 19:40 10m 29s
TUM Practical Course Summer 2023: Termination Analyses coverage #727: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 19:22 14m 41s serenita:master
serenita:master
November 10, 2023 19:22 14m 41s
TUM Practical Course Summer 2023: Termination Analyses coverage #726: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 19:03 14m 34s serenita:master
serenita:master
November 10, 2023 19:03 14m 34s
TUM Practical Course Summer 2023: Termination Analyses coverage #725: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 18:54 15m 28s serenita:master
serenita:master
November 10, 2023 18:54 15m 28s
TUM Practical Course Summer 2023: Termination Analyses coverage #724: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 18:33 20m 11s serenita:master
serenita:master
November 10, 2023 18:33 20m 11s
TUM Practical Course Summer 2023: Termination Analyses coverage #723: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 18:24 17m 15s serenita:master
serenita:master
November 10, 2023 18:24 17m 15s
coverage coverage #722: Scheduled
November 10, 2023 02:06 29m 21s master
master
November 10, 2023 02:06 29m 21s
Add support for YAML witness entry type invariant_set coverage #721: Pull request #1240 synchronize by sim642
November 9, 2023 11:09 24m 47s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 11:09 24m 47s
Add support for YAML witness entry type invariant_set coverage #720: Pull request #1240 synchronize by sim642
November 9, 2023 10:43 17m 20s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 10:43 17m 20s
Improve SV-COMP conf for no-data-race coverage #719: Pull request #1207 synchronize by sim642
November 9, 2023 10:33 21m 49s svcomp24-conf
svcomp24-conf
November 9, 2023 10:33 21m 49s
Improve SV-COMP conf for no-data-race coverage #718: Pull request #1207 synchronize by sim642
November 9, 2023 09:59 19m 54s svcomp24-conf
svcomp24-conf
November 9, 2023 09:59 19m 54s
Add some library functions from SV-COMP coverage #717: Pull request #1242 synchronize by michael-schwarz
November 9, 2023 09:18 27m 44s issue_1239
issue_1239
November 9, 2023 09:18 27m 44s
Add some library functions from SV-COMP coverage #716: Pull request #1242 synchronize by michael-schwarz
November 9, 2023 09:16 28m 38s issue_1239
issue_1239
November 9, 2023 09:16 28m 38s
coverage coverage #715: Scheduled
November 9, 2023 02:06 33m 51s master
master
November 9, 2023 02:06 33m 51s
Account for allocated heap memory which is unreachable from globals coverage #714: Pull request #1241 synchronize by mrstanb
November 8, 2023 21:52 17m 10s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 21:52 17m 10s
Account for allocated heap memory which is unreachable from globals coverage #713: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:53 17m 33s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:53 17m 33s
Account for allocated heap memory which is unreachable from globals coverage #712: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:52 22m 4s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:52 22m 4s
ProTip! You can narrow down the results and go further in time using created:<2023-11-08 or the other filters available.