Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
427 workflow run results
427 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #1025: Scheduled
January 3, 2024 02:08 17m 42s master
master
January 3, 2024 02:08 17m 42s
Linear Two-Variable Equalities Analysis coverage #1024: Pull request #1297 synchronize by alina-weber
January 2, 2024 17:31 10m 51s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 2, 2024 17:31 10m 51s
coverage coverage #1023: Scheduled
January 2, 2024 02:10 18m 51s master
master
January 2, 2024 02:10 18m 51s
coverage coverage #1022: Scheduled
January 1, 2024 02:21 13m 6s master
master
January 1, 2024 02:21 13m 6s
coverage coverage #1021: Scheduled
December 31, 2023 02:11 18m 40s master
master
December 31, 2023 02:11 18m 40s
coverage coverage #1020: Scheduled
December 30, 2023 02:06 17m 51s master
master
December 30, 2023 02:06 17m 51s
Some Refactoring of Affeq & Printing Bug coverage #1019: Pull request #1309 synchronize by michael-schwarz
December 29, 2023 09:03 10m 54s refactor_affeq
refactor_affeq
December 29, 2023 09:03 10m 54s
Organize constraint system and value domain modules into dune libraries coverage #1018: Pull request #1313 synchronize by sim642
December 29, 2023 07:09 10m 48s goblint-dune-libs-3
goblint-dune-libs-3
December 29, 2023 07:09 10m 48s
coverage coverage #1017: Scheduled
December 29, 2023 02:03 18m 33s master
master
December 29, 2023 02:03 18m 33s
Small output readability improvements coverage #1016: Pull request #1312 synchronize by karoliineh
December 28, 2023 19:07 10m 50s issue-1192
issue-1192
December 28, 2023 19:07 10m 50s
Small output readability improvements coverage #1015: Pull request #1312 synchronize by karoliineh
December 28, 2023 16:14 11m 2s issue-1192
issue-1192
December 28, 2023 16:14 11m 2s
Remove duplicate ctx-derived arguments in base analysis coverage #1014: Pull request #1308 synchronize by karoliineh
December 28, 2023 15:28 10m 42s issue-1266
issue-1266
December 28, 2023 15:28 10m 42s
Small output readability improvements coverage #1013: Pull request #1312 opened by karoliineh
December 28, 2023 14:24 10m 11s issue-1192
issue-1192
December 28, 2023 14:24 10m 11s
Remove OldDomainFacade coverage #1012: Pull request #1311 opened by michael-schwarz
December 28, 2023 12:50 10m 40s rm_old_domain_facade
rm_old_domain_facade
December 28, 2023 12:50 10m 40s
Some Refactoring of Affeq & Printing Bug coverage #1011: Pull request #1309 synchronize by michael-schwarz
December 28, 2023 12:40 10m 44s refactor_affeq
refactor_affeq
December 28, 2023 12:40 10m 44s
Some Refactoring of Affeq & Printing Bug coverage #1010: Pull request #1309 synchronize by michael-schwarz
December 28, 2023 12:28 14m 37s refactor_affeq
refactor_affeq
December 28, 2023 12:28 14m 37s
Some Refactoring of Affeq & Printing Bug coverage #1009: Pull request #1309 synchronize by michael-schwarz
December 28, 2023 12:26 10m 57s refactor_affeq
refactor_affeq
December 28, 2023 12:26 10m 57s
Some Refactoring of Affeq & Printing Bug coverage #1008: Pull request #1309 synchronize by michael-schwarz
December 28, 2023 12:22 10m 38s refactor_affeq
refactor_affeq
December 28, 2023 12:22 10m 38s
Some Refactoring of Affeq & Printing Bug coverage #1007: Pull request #1309 synchronize by michael-schwarz
December 28, 2023 12:11 11m 39s refactor_affeq
refactor_affeq
December 28, 2023 12:11 11m 39s
Some Refactoring of Affeq & Printing Bug coverage #1006: Pull request #1309 synchronize by michael-schwarz
December 28, 2023 12:05 11m 2s refactor_affeq
refactor_affeq
December 28, 2023 12:05 11m 2s
Some Refactoring of Affeq & Printing Bug coverage #1005: Pull request #1309 synchronize by michael-schwarz
December 28, 2023 12:00 10m 53s refactor_affeq
refactor_affeq
December 28, 2023 12:00 10m 53s
Some Refactoring of Affeq & Printing Bug coverage #1004: Pull request #1309 synchronize by michael-schwarz
December 28, 2023 11:53 10m 56s refactor_affeq
refactor_affeq
December 28, 2023 11:53 10m 56s
Some Refactoring of Affeq & Printing Bug coverage #1003: Pull request #1309 synchronize by michael-schwarz
December 28, 2023 11:41 10m 43s refactor_affeq
refactor_affeq
December 28, 2023 11:41 10m 43s
Some Refactoring of Affeq & Printing Bug coverage #1002: Pull request #1309 synchronize by michael-schwarz
December 28, 2023 11:36 10m 50s refactor_affeq
refactor_affeq
December 28, 2023 11:36 10m 50s
Some Refactoring of Affeq & Printing Bug coverage #1001: Pull request #1309 synchronize by michael-schwarz
December 28, 2023 11:28 10m 40s refactor_affeq
refactor_affeq
December 28, 2023 11:28 10m 40s