Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
238 workflow run results
238 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix OCaml 5.0 Apron compatibility coverage #434: Pull request #1162 opened by sim642
September 12, 2023 14:12 23m 52s ocaml-5-apron-compat
ocaml-5-apron-compat
September 12, 2023 14:12 23m 52s
Congruences: Make % sound by restricting cases where we return a constant coverage #433: Pull request #1161 opened by michael-schwarz
September 12, 2023 14:10 20m 4s issue_1156
issue_1156
September 12, 2023 14:10 20m 4s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #432: Pull request #1142 synchronize by karoliineh
September 12, 2023 13:04 28m 13s queries-ad
queries-ad
September 12, 2023 13:04 28m 13s
Document Goblint benchmarking best practices coverage #431: Pull request #1160 synchronize by sim642
September 12, 2023 11:02 28m 0s benchmarking-docs
benchmarking-docs
September 12, 2023 11:02 28m 0s
Document Goblint benchmarking best practices coverage #430: Pull request #1160 opened by sim642
September 12, 2023 10:41 19m 17s benchmarking-docs
benchmarking-docs
September 12, 2023 10:41 19m 17s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #429: Pull request #1142 synchronize by karoliineh
September 12, 2023 07:51 32m 26s queries-ad
queries-ad
September 12, 2023 07:51 32m 26s
Library functions that are used in the silver searcher including some from the pcre library coverage #428: Pull request #1138 synchronize by sim642
September 12, 2023 07:47 21m 30s libfuns-silver-searcher
libfuns-silver-searcher
September 12, 2023 07:47 21m 30s
coverage coverage #427: Scheduled
September 12, 2023 02:02 42m 2s master
master
September 12, 2023 02:02 42m 2s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #426: Pull request #1142 synchronize by sim642
September 11, 2023 14:40 19m 13s queries-ad
queries-ad
September 11, 2023 14:40 19m 13s
goblint: fix lower bound on yaml coverage #425: Pull request #1157 opened by edwintorok
September 11, 2023 14:23 23m 22s edwintorok:bounds
edwintorok:bounds
September 11, 2023 14:23 23m 22s
Upgrade to OCaml 5.0 as default coverage #424: Pull request #1137 synchronize by sim642
September 11, 2023 12:11 25m 0s ocaml-5-apron
ocaml-5-apron
September 11, 2023 12:11 25m 0s
Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences coverage #423: Pull request #1154 synchronize by michael-schwarz
September 11, 2023 10:52 19m 24s issue_1153
issue_1153
September 11, 2023 10:52 19m 24s
fix: copying of files to GobView in projects with subdirectories coverage #389: Pull request #1143 opened by sallto
August 28, 2023 14:53 22m 55s sallto:master
sallto:master
August 28, 2023 14:53 22m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-08-28 or the other filters available.