Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
169 workflow run results
169 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #363: Scheduled
August 23, 2023 02:01 30m 4s master
master
August 23, 2023 02:01 30m 4s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #362: Pull request #1142 synchronize by karoliineh
August 22, 2023 15:32 19m 50s queries-ad
queries-ad
August 22, 2023 15:32 19m 50s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #361: Pull request #1142 opened by karoliineh
August 22, 2023 15:07 19m 32s queries-ad
queries-ad
August 22, 2023 15:07 19m 32s
Make access outer distribution lazy coverage #360: Pull request #1136 synchronize by sim642
August 22, 2023 12:10 16m 56s access-distr-outer
access-distr-outer
August 22, 2023 12:10 16m 56s
coverage coverage #359: Scheduled
August 22, 2023 02:02 32m 46s master
master
August 22, 2023 02:02 32m 46s
Upgrade to OCaml 5.0 as default coverage #358: Pull request #1137 synchronize by sim642
August 21, 2023 14:49 25m 37s ocaml-5-apron
ocaml-5-apron
August 21, 2023 14:49 25m 37s
Make access outer distribution lazy coverage #357: Pull request #1136 synchronize by sim642
August 21, 2023 14:43 15m 46s access-distr-outer
access-distr-outer
August 21, 2023 14:43 15m 46s
Library functions that are used in the silver searcher including some from the pcre library coverage #356: Pull request #1138 synchronize by karoliineh
August 21, 2023 09:42 17m 34s libfuns-silver-searcher
libfuns-silver-searcher
August 21, 2023 09:42 17m 34s
Library functions that are used in the silver searcher including some from the pcre library coverage #355: Pull request #1138 synchronize by karoliineh
August 21, 2023 09:41 18m 24s libfuns-silver-searcher
libfuns-silver-searcher
August 21, 2023 09:41 18m 24s
Make access outer distribution lazy coverage #354: Pull request #1136 synchronize by sim642
August 21, 2023 07:44 19m 15s access-distr-outer
access-distr-outer
August 21, 2023 07:44 19m 15s
coverage coverage #353: Scheduled
August 21, 2023 02:01 26m 5s master
master
August 21, 2023 02:01 26m 5s
Memory Out-Of-Bounds Access Analysis coverage #352: Pull request #1094 synchronize by mrstanb
August 20, 2023 17:14 15m 52s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
August 20, 2023 17:14 15m 52s
coverage coverage #351: Scheduled
August 20, 2023 02:02 36m 44s master
master
August 20, 2023 02:02 36m 44s
coverage coverage #350: Scheduled
August 19, 2023 01:58 25m 4s master
master
August 19, 2023 01:58 25m 4s
Detect memory deallocation at offset from memory start coverage #349: Pull request #1139 synchronize by mrstanb
August 18, 2023 10:02 22m 29s mrstanb:detect-deallocation-at-offset
mrstanb:detect-deallocation-at-offset
August 18, 2023 10:02 22m 29s
Detect memory deallocation at offset from memory start coverage #348: Pull request #1139 synchronize by mrstanb
August 18, 2023 09:19 21m 36s mrstanb:detect-deallocation-at-offset
mrstanb:detect-deallocation-at-offset
August 18, 2023 09:19 21m 36s
Detect memory deallocation at offset from memory start coverage #347: Pull request #1139 opened by mrstanb
August 18, 2023 08:08 19m 38s mrstanb:detect-deallocation-at-offset
mrstanb:detect-deallocation-at-offset
August 18, 2023 08:08 19m 38s
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