Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #457: Scheduled
September 18, 2023 02:04 35m 57s master
master
September 18, 2023 02:04 35m 57s
coverage coverage #456: Scheduled
September 17, 2023 02:05 32m 2s master
master
September 17, 2023 02:05 32m 2s
Add some setjump/longjump tests for race detection coverage #455: Pull request #1172 synchronize by michael-schwarz
September 16, 2023 14:48 18m 7s races_sjlj
races_sjlj
September 16, 2023 14:48 18m 7s
Add some setjump/longjump tests for race detection coverage #454: Pull request #1172 opened by michael-schwarz
September 16, 2023 14:39 24m 18s races_sjlj
races_sjlj
September 16, 2023 14:39 24m 18s
Null Byte Array Domain coverage #453: Pull request #1076 synchronize by nathanschmidt
September 16, 2023 12:48 18m 11s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 16, 2023 12:48 18m 11s
coverage coverage #452: Scheduled
September 16, 2023 02:01 35m 3s master
master
September 16, 2023 02:01 35m 3s
Use AddressDomain for queries coverage #451: Pull request #1144 synchronize by sim642
September 15, 2023 08:03 21m 35s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 21m 35s
Use AddressDomain for queries coverage #450: Pull request #1144 synchronize by sim642
September 15, 2023 07:45 18m 35s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 18m 35s
Use record as Access.A type instead of a quintuple coverage #449: Pull request #1170 synchronize by karoliineh
September 15, 2023 07:34 30m 32s acc-record
acc-record
September 15, 2023 07:34 30m 32s
coverage coverage #448: Scheduled
September 15, 2023 02:04 34m 26s master
master
September 15, 2023 02:04 34m 26s
Use record as Access.A type instead of a quintuple coverage #447: Pull request #1170 synchronize by karoliineh
September 14, 2023 19:00 20m 11s acc-record
acc-record
September 14, 2023 19:00 20m 11s
Use record as Access.A type instead of a quintuple coverage #446: Pull request #1170 opened by karoliineh
September 14, 2023 18:48 19m 31s acc-record
acc-record
September 14, 2023 18:48 19m 31s
Null Byte Array Domain coverage #445: Pull request #1076 synchronize by michael-schwarz
September 14, 2023 13:42 20m 9s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 14, 2023 13:42 20m 9s
Null Byte Array Domain coverage #444: Pull request #1076 synchronize by michael-schwarz
September 14, 2023 12:49 24m 50s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 14, 2023 12:49 24m 50s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions coverage #443: Pull request #1167 opened by karoliineh
September 14, 2023 09:30 19m 11s libfuns-zlib-lzma
libfuns-zlib-lzma
September 14, 2023 09:30 19m 11s
coverage coverage #442: Scheduled
September 14, 2023 02:03 36m 6s master
master
September 14, 2023 02:03 36m 6s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #441: Pull request #1142 synchronize by karoliineh
September 13, 2023 09:33 19m 14s queries-ad
queries-ad
September 13, 2023 09:33 19m 14s
Fix OCaml 5.0 Apron compatibility coverage #440: Pull request #1162 synchronize by sim642
September 13, 2023 07:56 18m 0s ocaml-5-apron-compat
ocaml-5-apron-compat
September 13, 2023 07:56 18m 0s
coverage coverage #439: Scheduled
September 13, 2023 02:04 31m 27s master
master
September 13, 2023 02:04 31m 27s
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
ProTip! You can narrow down the results and go further in time using created:<2023-09-12 or the other filters available.