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

Bump docker/login-action from 2 to 3 coverage #438: Pull request #1166 opened by dependabot bot
September 12, 2023 20:07 37m 7s dependabot/github_actions/docker/login-action-3
dependabot/github_actions/docker/login-action-3
September 12, 2023 20:07 37m 7s
Bump docker/setup-buildx-action from 2 to 3 coverage #437: Pull request #1165 opened by dependabot bot
September 12, 2023 20:07 26m 49s dependabot/github_actions/docker/setup-buildx-action-3
dependabot/github_actions/docker/setup-buildx-action-3
September 12, 2023 20:07 26m 49s
Bump docker/metadata-action from 4 to 5 coverage #436: Pull request #1164 opened by dependabot bot
September 12, 2023 20:07 23m 32s dependabot/github_actions/docker/metadata-action-5
dependabot/github_actions/docker/metadata-action-5
September 12, 2023 20:07 23m 32s
Bump docker/build-push-action from 4 to 5 coverage #435: Pull request #1163 opened by dependabot bot
September 12, 2023 20:07 23m 37s dependabot/github_actions/docker/build-push-action-5
dependabot/github_actions/docker/build-push-action-5
September 12, 2023 20:07 23m 37s
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
coverage coverage #422: Scheduled
September 11, 2023 02:04 29m 19s master
master
September 11, 2023 02:04 29m 19s
Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences coverage #421: Pull request #1154 synchronize by michael-schwarz
September 10, 2023 12:03 19m 2s issue_1153
issue_1153
September 10, 2023 12:03 19m 2s
Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences coverage #420: Pull request #1154 opened by michael-schwarz
September 10, 2023 12:00 17m 47s issue_1153
issue_1153
September 10, 2023 12:00 17m 47s
coverage coverage #419: Scheduled
September 10, 2023 02:04 31m 4s master
master
September 10, 2023 02:04 31m 4s
coverage coverage #418: Scheduled
September 9, 2023 02:00 32m 58s master
master
September 9, 2023 02:00 32m 58s
Null Byte Array Domain coverage #417: Pull request #1076 synchronize by nathanschmidt
September 8, 2023 10:46 16m 8s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 8, 2023 10:46 16m 8s
Relational Substring Domain coverage #416: Pull request #1118 synchronize by nathanschmidt
September 8, 2023 10:39 10m 3s nathanschmidt:relational-substring-domain
nathanschmidt:relational-substring-domain
September 8, 2023 10:39 10m 3s
Relational Substring Domain coverage #415: Pull request #1118 synchronize by nathanschmidt
September 8, 2023 10:39 8m 42s nathanschmidt:relational-substring-domain
nathanschmidt:relational-substring-domain
September 8, 2023 10:39 8m 42s
Null Byte Array Domain coverage #414: Pull request #1076 synchronize by nathanschmidt
September 8, 2023 10:32 15m 50s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 8, 2023 10:32 15m 50s