Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
294 workflow run results
294 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TUM Practical Course Summer 2023: Termination Analyses coverage #764: Pull request #1093 synchronize by jerhard
November 16, 2023 16:49 17m 52s serenita:master
serenita:master
November 16, 2023 16:49 17m 52s
TUM Practical Course Summer 2023: Termination Analyses coverage #763: Pull request #1093 synchronize by jerhard
November 16, 2023 16:48 15m 27s serenita:master
serenita:master
November 16, 2023 16:48 15m 27s
TUM Practical Course Summer 2023: Termination Analyses coverage #762: Pull request #1093 synchronize by jerhard
November 16, 2023 16:45 17m 51s serenita:master
serenita:master
November 16, 2023 16:45 17m 51s
Improve multi-threaded valid-memcleanup coverage #761: Pull request #1246 opened by mrstanb
November 16, 2023 06:56 9m 58s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 16, 2023 06:56 9m 58s
coverage coverage #760: Scheduled
November 16, 2023 02:10 30m 3s master
master
November 16, 2023 02:10 30m 3s
Account for allocated heap memory which is unreachable from globals coverage #759: Pull request #1241 synchronize by mrstanb
November 15, 2023 22:34 17m 0s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:34 17m 0s
Account for allocated heap memory which is unreachable from globals coverage #758: Pull request #1241 synchronize by mrstanb
November 15, 2023 22:27 14m 28s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:27 14m 28s
TUM Practical Course Summer 2023: Termination Analyses coverage #757: Pull request #1093 synchronize by jerhard
November 15, 2023 17:11 17m 17s serenita:master
serenita:master
November 15, 2023 17:11 17m 17s
TUM Practical Course Summer 2023: Termination Analyses coverage #756: Pull request #1093 synchronize by jerhard
November 15, 2023 14:54 20m 29s serenita:master
serenita:master
November 15, 2023 14:54 20m 29s
Account for allocated heap memory which is unreachable from globals coverage #755: Pull request #1241 synchronize by michael-schwarz
November 15, 2023 14:49 20m 36s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 14:49 20m 36s
TUM Practical Course Summer 2023: Termination Analyses coverage #754: Pull request #1093 synchronize by jerhard
November 15, 2023 14:26 18m 50s serenita:master
serenita:master
November 15, 2023 14:26 18m 50s
TUM Practical Course Summer 2023: Termination Analyses coverage #753: Pull request #1093 synchronize by jerhard
November 15, 2023 14:22 20m 7s serenita:master
serenita:master
November 15, 2023 14:22 20m 7s
coverage coverage #752: Scheduled
November 15, 2023 02:10 27m 27s master
master
November 15, 2023 02:10 27m 27s
TUM Practical Course Summer 2023: Termination Analyses coverage #751: Pull request #1093 synchronize by jerhard
November 14, 2023 13:10 17m 49s serenita:master
serenita:master
November 14, 2023 13:10 17m 49s
TUM Practical Course Summer 2023: Termination Analyses coverage #750: Pull request #1093 synchronize by jerhard
November 14, 2023 09:20 22m 8s serenita:master
serenita:master
November 14, 2023 09:20 22m 8s
coverage coverage #749: Scheduled
November 14, 2023 02:07 24m 9s master
master
November 14, 2023 02:07 24m 9s
TUM Practical Course Summer 2023: Termination Analyses coverage #748: Pull request #1093 synchronize by jerhard
November 13, 2023 22:15 13m 26s serenita:master
serenita:master
November 13, 2023 22:15 13m 26s
TUM Practical Course Summer 2023: Termination Analyses coverage #747: Pull request #1093 synchronize by jerhard
November 13, 2023 17:01 19m 27s serenita:master
serenita:master
November 13, 2023 17:01 19m 27s
TUM Practical Course Summer 2023: Termination Analyses coverage #746: Pull request #1093 synchronize by jerhard
November 13, 2023 17:00 22m 18s serenita:master
serenita:master
November 13, 2023 17:00 22m 18s
TUM Practical Course Summer 2023: Termination Analyses coverage #745: Pull request #1093 synchronize by jerhard
November 13, 2023 15:34 20m 59s serenita:master
serenita:master
November 13, 2023 15:34 20m 59s
TUM Practical Course Summer 2023: Termination Analyses coverage #744: Pull request #1093 synchronize by jerhard
November 13, 2023 14:34 29m 11s serenita:master
serenita:master
November 13, 2023 14:34 29m 11s
TUM Practical Course Summer 2023: Termination Analyses coverage #743: Pull request #1093 synchronize by jerhard
November 13, 2023 14:33 17m 28s serenita:master
serenita:master
November 13, 2023 14:33 17m 28s
TUM Practical Course Summer 2023: Termination Analyses coverage #742: Pull request #1093 synchronize by jerhard
November 13, 2023 13:39 24m 41s serenita:master
serenita:master
November 13, 2023 13:39 24m 41s
TUM Practical Course Summer 2023: Termination Analyses coverage #741: Pull request #1093 synchronize by jerhard
November 13, 2023 12:51 20m 19s serenita:master
serenita:master
November 13, 2023 12:51 20m 19s
TUM Practical Course Summer 2023: Termination Analyses coverage #740: Pull request #1093 synchronize by jerhard
November 13, 2023 12:26 22m 24s serenita:master
serenita:master
November 13, 2023 12:26 22m 24s