Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
1,787 workflow runs
1,787 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add explicit W set to base protection privatization coverage #2974: Pull request #1693 synchronize by sim642
February 20, 2025 11:01 9m 47s base-protection-w
base-protection-w
February 20, 2025 11:01 9m 47s
Parallelism support: PoC/Suggestion coverage #2973: Pull request #1694 opened by arkocal
February 20, 2025 10:10 4m 0s arkocal:parallelism_support
arkocal:parallelism_support
February 20, 2025 10:10 4m 0s
Add explicit W set to base protection privatization coverage #2972: Pull request #1693 opened by sim642
February 20, 2025 09:04 10m 14s base-protection-w
base-protection-w
February 20, 2025 09:04 10m 14s
Sparsification of Affine Equality Matrix coverage #2971: Pull request #1625 synchronize by charlotte-brandt
February 20, 2025 08:46 10m 4s CopperCableIsolator:master
CopperCableIsolator:master
February 20, 2025 08:46 10m 4s
coverage coverage #2969: Scheduled
February 20, 2025 02:37 14m 24s master
master
February 20, 2025 02:37 14m 24s
Extract generic Spec domain and context lifters coverage #2968: Pull request #1692 opened by sim642
February 19, 2025 20:01 9m 52s generic-spec-lifters
generic-spec-lifters
February 19, 2025 20:01 9m 52s
HashCachedContextLifter: Introduce the lifter and the option coverage #2967: Pull request #1690 synchronize by arkocal
February 19, 2025 11:29 9m 45s arkocal:hashcachedcontextlifter
arkocal:hashcachedcontextlifter
February 19, 2025 11:29 9m 45s
Cleanup some option related code coverage #2966: Pull request #1689 synchronize by michael-schwarz
February 19, 2025 09:59 12m 22s option_cleanup
option_cleanup
February 19, 2025 09:59 12m 22s
Cleanup some option related code coverage #2965: Pull request #1689 synchronize by michael-schwarz
February 19, 2025 09:59 9m 49s option_cleanup
option_cleanup
February 19, 2025 09:59 9m 49s
HashCachedContextLifter: Introduce the lifter and the option coverage #2964: Pull request #1690 opened by arkocal
February 19, 2025 09:41 9m 55s arkocal:hashcachedcontextlifter
arkocal:hashcachedcontextlifter
February 19, 2025 09:41 9m 55s
Audit usages of fold_right coverage #2963: Pull request #1688 synchronize by michael-schwarz
February 19, 2025 09:41 9m 44s issue_1536
issue_1536
February 19, 2025 09:41 9m 44s
Replace int -> _Bool in goblint stubs arguments coverage #2962: Pull request #1684 synchronize by sim642
February 19, 2025 08:51 9m 31s assert-ptr
assert-ptr
February 19, 2025 08:51 9m 31s
coverage coverage #2961: Scheduled
February 19, 2025 02:37 14m 37s master
master
February 19, 2025 02:37 14m 37s
Cleanup some option related code coverage #2960: Pull request #1689 synchronize by michael-schwarz
February 18, 2025 20:38 9m 37s option_cleanup
option_cleanup
February 18, 2025 20:38 9m 37s
Cleanup some option related code coverage #2959: Pull request #1689 synchronize by michael-schwarz
February 18, 2025 20:19 10m 0s option_cleanup
option_cleanup
February 18, 2025 20:19 10m 0s
Cleanup some option related code coverage #2958: Pull request #1689 synchronize by michael-schwarz
February 18, 2025 19:13 17m 9s option_cleanup
option_cleanup
February 18, 2025 19:13 17m 9s
Cleanup some option related code coverage #2957: Pull request #1689 synchronize by michael-schwarz
February 18, 2025 19:13 11m 12s option_cleanup
option_cleanup
February 18, 2025 19:13 11m 12s
Cleanup some option related code coverage #2956: Pull request #1689 synchronize by michael-schwarz
February 18, 2025 19:13 9m 55s option_cleanup
option_cleanup
February 18, 2025 19:13 9m 55s
Sparsification of Affine Equality Matrix coverage #2955: Pull request #1625 synchronize by charlotte-brandt
February 18, 2025 19:05 9m 42s CopperCableIsolator:master
CopperCableIsolator:master
February 18, 2025 19:05 9m 42s
Cleanup some option related code coverage #2954: Pull request #1689 synchronize by michael-schwarz
February 18, 2025 18:57 9m 42s option_cleanup
option_cleanup
February 18, 2025 18:57 9m 42s
Cleanup some option related code coverage #2952: Pull request #1689 opened by michael-schwarz
February 18, 2025 18:45 10m 13s option_cleanup
option_cleanup
February 18, 2025 18:45 10m 13s
Audit usages of fold_right coverage #2951: Pull request #1688 synchronize by michael-schwarz
February 18, 2025 16:47 9m 54s issue_1536
issue_1536
February 18, 2025 16:47 9m 54s
Audit usages of fold_right coverage #2949: Pull request #1688 synchronize by michael-schwarz
February 18, 2025 16:37 10m 3s issue_1536
issue_1536
February 18, 2025 16:37 10m 3s
Audit usages of fold_right coverage #2948: Pull request #1688 synchronize by michael-schwarz
February 18, 2025 16:04 9m 58s issue_1536
issue_1536
February 18, 2025 16:04 9m 58s
Audit usages of fold_right coverage #2947: Pull request #1688 opened by michael-schwarz
February 18, 2025 15:50 9m 48s issue_1536
issue_1536
February 18, 2025 15:50 9m 48s