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 #371: Scheduled
August 24, 2023 02:01 31m 6s master
master
August 24, 2023 02:01 31m 6s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #370: Pull request #1142 synchronize by karoliineh
August 23, 2023 15:51 17m 7s queries-ad
queries-ad
August 23, 2023 15:51 17m 7s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #369: Pull request #1142 synchronize by karoliineh
August 23, 2023 12:04 26m 30s queries-ad
queries-ad
August 23, 2023 12:04 26m 30s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #368: Pull request #1142 synchronize by karoliineh
August 23, 2023 11:04 17m 3s queries-ad
queries-ad
August 23, 2023 11:04 17m 3s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #367: Pull request #1142 synchronize by karoliineh
August 23, 2023 10:54 21m 0s queries-ad
queries-ad
August 23, 2023 10:54 21m 0s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #366: Pull request #1142 synchronize by sim642
August 23, 2023 09:59 19m 13s queries-ad
queries-ad
August 23, 2023 09:59 19m 13s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #365: Pull request #1142 synchronize by sim642
August 23, 2023 09:46 22m 28s queries-ad
queries-ad
August 23, 2023 09:46 22m 28s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #364: Pull request #1142 synchronize by sim642
August 23, 2023 07:33 22m 51s queries-ad
queries-ad
August 23, 2023 07:33 22m 51s
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
ProTip! You can narrow down the results and go further in time using created:<2023-08-18 or the other filters available.