Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
341 workflow run results
341 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #496: Scheduled
September 24, 2023 02:06 33m 57s master
master
September 24, 2023 02:06 33m 57s
Null Byte Array Domain coverage #495: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 20:43 27m 56s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 20:43 27m 56s
Null Byte Array Domain coverage #494: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 18:59 17m 24s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 18:59 17m 24s
Null Byte Array Domain coverage #493: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 15:45 28m 5s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 15:45 28m 5s
Null Byte Array Domain coverage #492: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 15:33 18m 1s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 15:33 18m 1s
fix: copying of files to GobView in projects with subdirectories coverage #491: Pull request #1143 synchronize by michael-schwarz
September 23, 2023 14:27 22m 57s sallto:master
sallto:master
September 23, 2023 14:27 22m 57s
fix: copying of files to GobView in projects with subdirectories coverage #490: Pull request #1143 synchronize by michael-schwarz
September 23, 2023 14:14 24m 49s sallto:master
sallto:master
September 23, 2023 14:14 24m 49s
Optimize CFG representation coverage #489: Pull request #609 synchronize by michael-schwarz
September 23, 2023 14:02 15m 44s cfg-optimize
cfg-optimize
September 23, 2023 14:02 15m 44s
coverage coverage #488: Scheduled
September 23, 2023 02:01 30m 29s master
master
September 23, 2023 02:01 30m 29s
coverage coverage #487: Scheduled
September 22, 2023 02:04 40m 23s master
master
September 22, 2023 02:04 40m 23s
Data-race challenges extracted from benchmarks coverage #486: Pull request #1178 synchronize by sim642
September 21, 2023 10:43 15m 41s race-challenges
race-challenges
September 21, 2023 10:43 15m 41s
Data-race challenges extracted from benchmarks coverage #485: Pull request #1178 synchronize by sim642
September 21, 2023 07:55 13m 10s race-challenges
race-challenges
September 21, 2023 07:55 13m 10s
Support stack-allocating functions when allocating heap vars coverage #484: Pull request #1179 synchronize by mrstanb
September 21, 2023 07:50 17m 30s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 21, 2023 07:50 17m 30s
coverage coverage #483: Scheduled
September 21, 2023 02:03 35m 52s master
master
September 21, 2023 02:03 35m 52s
First steps towards a Proof-of-Concept for analyzing threadpools coverage #482: Pull request #1180 opened by michael-schwarz
September 20, 2023 17:40 24m 38s threadpool_poc
threadpool_poc
September 20, 2023 17:40 24m 38s
Support stack-allocating functions when allocating heap vars coverage #481: Pull request #1179 synchronize by mrstanb
September 20, 2023 16:56 30m 3s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 20, 2023 16:56 30m 3s
Support stack-allocating functions when allocating heap vars coverage #480: Pull request #1179 opened by mrstanb
September 20, 2023 16:51 21m 57s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 20, 2023 16:51 21m 57s
Data-race challenges extracted from benchmarks coverage #479: Pull request #1178 synchronize by sim642
September 20, 2023 14:47 13m 47s race-challenges
race-challenges
September 20, 2023 14:47 13m 47s
Data-race challenges extracted from benchmarks coverage #478: Pull request #1178 synchronize by sim642
September 20, 2023 14:34 15m 30s race-challenges
race-challenges
September 20, 2023 14:34 15m 30s
Data-race challenges extracted from benchmarks coverage #477: Pull request #1178 synchronize by sim642
September 20, 2023 13:26 16m 10s race-challenges
race-challenges
September 20, 2023 13:26 16m 10s
Data-race challenges extracted from benchmarks coverage #476: Pull request #1178 synchronize by sim642
September 20, 2023 12:31 13m 29s race-challenges
race-challenges
September 20, 2023 12:31 13m 29s
Data-race challenges extracted from benchmarks coverage #475: Pull request #1178 synchronize by sim642
September 20, 2023 12:09 13m 20s race-challenges
race-challenges
September 20, 2023 12:09 13m 20s
Data-race challenges extracted from benchmarks coverage #474: Pull request #1178 synchronize by sim642
September 20, 2023 11:25 16m 12s race-challenges
race-challenges
September 20, 2023 11:25 16m 12s
Data-race challenges extracted from benchmarks coverage #473: Pull request #1178 synchronize by sim642
September 20, 2023 10:55 13m 29s race-challenges
race-challenges
September 20, 2023 10:55 13m 29s
Data-race challenges extracted from benchmarks coverage #472: Pull request #1178 synchronize by sim642
September 20, 2023 10:01 15m 5s race-challenges
race-challenges
September 20, 2023 10:01 15m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.