Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
2,156 workflow runs
2,156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #346: Scheduled
August 18, 2023 02:01 27m 43s master
master
August 18, 2023 02:01 27m 43s
coverage coverage #345: Scheduled
August 17, 2023 02:00 28m 50s master
master
August 17, 2023 02:00 28m 50s
Library functions that are used in the silver searcher including some from the pcre library coverage #344: Pull request #1138 opened by karoliineh
August 16, 2023 16:41 18m 3s libfuns-silver-searcher
libfuns-silver-searcher
August 16, 2023 16:41 18m 3s
Upgrade to OCaml 5.0 as default coverage #343: Pull request #1137 opened by sim642
August 16, 2023 08:26 30m 42s ocaml-5-apron
ocaml-5-apron
August 16, 2023 08:26 30m 42s
coverage coverage #342: Scheduled
August 16, 2023 02:01 35m 2s master
master
August 16, 2023 02:01 35m 2s
Make access outer distribution lazy coverage #341: Pull request #1136 synchronize by sim642
August 15, 2023 14:52 15m 40s access-distr-outer
access-distr-outer
August 15, 2023 14:52 15m 40s
Make access outer distribution lazy coverage #340: Pull request #1136 synchronize by sim642
August 15, 2023 14:40 17m 3s access-distr-outer
access-distr-outer
August 15, 2023 14:40 17m 3s
Make access outer distribution lazy coverage #339: Pull request #1136 synchronize by sim642
August 15, 2023 13:58 17m 4s access-distr-outer
access-distr-outer
August 15, 2023 13:58 17m 4s
Make access outer distribution lazy coverage #338: Pull request #1136 synchronize by karoliineh
August 15, 2023 11:42 19m 24s access-distr-outer
access-distr-outer
August 15, 2023 11:42 19m 24s
Make access outer distribution lazy coverage #337: Pull request #1136 synchronize by karoliineh
August 15, 2023 10:59 16m 14s access-distr-outer
access-distr-outer
August 15, 2023 10:59 16m 14s
coverage coverage #336: Scheduled
August 15, 2023 02:01 37m 20s master
master
August 15, 2023 02:01 37m 20s
Detect calls of thread-unsafe functions as races coverage #335: Pull request #1082 synchronize by karoliineh
August 14, 2023 11:38 17m 31s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 11:38 17m 31s
Detect calls of thread-unsafe functions as races coverage #334: Pull request #1082 synchronize by karoliineh
August 14, 2023 10:53 8m 5s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 10:53 8m 5s
coverage coverage #333: Scheduled
August 14, 2023 02:01 27m 38s master
master
August 14, 2023 02:01 27m 38s
coverage coverage #332: Scheduled
August 13, 2023 02:02 31m 36s master
master
August 13, 2023 02:02 31m 36s
coverage coverage #331: Scheduled
August 12, 2023 01:59 34m 20s master
master
August 12, 2023 01:59 34m 20s
Memory Leak Analysis coverage #330: Pull request #1127 synchronize by mrstanb
August 11, 2023 12:04 19m 26s mrstanb:memleak-analysis
mrstanb:memleak-analysis
August 11, 2023 12:04 19m 26s
coverage coverage #329: Scheduled
August 11, 2023 02:00 30m 40s master
master
August 11, 2023 02:00 30m 40s
Null Byte Array Domain coverage #328: Pull request #1076 synchronize by nathanschmidt
August 10, 2023 18:01 17m 11s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
August 10, 2023 18:01 17m 11s
Null Byte Array Domain coverage #327: Pull request #1076 synchronize by nathanschmidt
August 10, 2023 17:24 12m 6s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
August 10, 2023 17:24 12m 6s
coverage coverage #326: Scheduled
August 10, 2023 02:24 21m 24s master
master
August 10, 2023 02:24 21m 24s
Null Byte Array Domain coverage #325: Pull request #1076 synchronize by nathanschmidt
August 9, 2023 18:35 13m 10s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
August 9, 2023 18:35 13m 10s
Null Byte Array Domain coverage #324: Pull request #1076 synchronize by nathanschmidt
August 9, 2023 17:14 17m 11s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
August 9, 2023 17:14 17m 11s
Null Byte Array Domain coverage #323: Pull request #1076 synchronize by nathanschmidt
August 9, 2023 15:35 16m 49s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
August 9, 2023 15:35 16m 49s
Null Byte Array Domain coverage #322: Pull request #1076 synchronize by nathanschmidt
August 9, 2023 15:34 16m 28s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
August 9, 2023 15:34 16m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-08-09 or the other filters available.