Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #2625: Scheduled
December 16, 2024 02:54 13m 46s master
master
December 16, 2024 02:54 13m 46s
coverage coverage #2624: Scheduled
December 15, 2024 02:56 14m 2s master
master
December 15, 2024 02:56 14m 2s
Sparsification of Affine Equality Matrix coverage #2623: Pull request #1625 synchronize by GollokG
December 14, 2024 16:18 9m 23s CopperCableIsolator:master
CopperCableIsolator:master
December 14, 2024 16:18 9m 23s
coverage coverage #2622: Scheduled
December 14, 2024 02:46 12m 39s master
master
December 14, 2024 02:46 12m 39s
Sparsification of Affine Equality Matrix coverage #2621: Pull request #1625 synchronize by charlotte-brandt
December 13, 2024 17:18 9m 26s CopperCableIsolator:master
CopperCableIsolator:master
December 13, 2024 17:18 9m 26s
Sparsification of Affine Equality Matrix coverage #2620: Pull request #1625 synchronize by charlotte-brandt
December 13, 2024 17:13 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 13, 2024 17:13 Action required
coverage coverage #2619: Scheduled
December 13, 2024 02:52 14m 51s master
master
December 13, 2024 02:52 14m 51s
Sparsification of Affine Equality Matrix coverage #2618: Pull request #1625 synchronize by CopperCableIsolator
December 12, 2024 14:16 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 12, 2024 14:16 Action required
Sparsification of Affine Equality Matrix coverage #2617: Pull request #1625 synchronize by GollokG
December 12, 2024 14:07 9m 55s CopperCableIsolator:master
CopperCableIsolator:master
December 12, 2024 14:07 9m 55s
coverage coverage #2616: Scheduled
December 12, 2024 02:50 13m 51s master
master
December 12, 2024 02:50 13m 51s
Bitfield Domain coverage #2613: Pull request #1623 synchronize by ManuelLerchner
December 11, 2024 03:33 9m 48s ManuelLerchner:master
ManuelLerchner:master
December 11, 2024 03:33 9m 48s
coverage coverage #2612: Scheduled
December 11, 2024 02:50 13m 11s master
master
December 11, 2024 02:50 13m 11s
Sparsification of Affine Equality Matrix coverage #2611: Pull request #1625 synchronize by CopperCableIsolator
December 10, 2024 16:47 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 16:47 Action required
Sparsification of Affine Equality Matrix coverage #2610: Pull request #1625 synchronize by charlotte-brandt
December 10, 2024 16:31 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 16:31 Action required
Bitfield Domain coverage #2609: Pull request #1623 synchronize by ManuelLerchner
December 10, 2024 16:31 9m 45s ManuelLerchner:master
ManuelLerchner:master
December 10, 2024 16:31 9m 45s
Bitfield Domain coverage #2608: Pull request #1623 synchronize by ManuelLerchner
December 10, 2024 16:24 9m 35s ManuelLerchner:master
ManuelLerchner:master
December 10, 2024 16:24 9m 35s
Bitfield Domain coverage #2607: Pull request #1623 synchronize by ManuelLerchner
December 10, 2024 16:04 9m 29s ManuelLerchner:master
ManuelLerchner:master
December 10, 2024 16:04 9m 29s
Bitfield Domain coverage #2606: Pull request #1623 synchronize by ManuelLerchner
December 10, 2024 15:46 9m 23s ManuelLerchner:master
ManuelLerchner:master
December 10, 2024 15:46 9m 23s
Bitfield Domain coverage #2605: Pull request #1623 synchronize by ManuelLerchner
December 10, 2024 15:45 9m 22s ManuelLerchner:master
ManuelLerchner:master
December 10, 2024 15:45 9m 22s
Sparsification of Affine Equality Matrix coverage #2604: Pull request #1625 synchronize by GollokG
December 10, 2024 15:04 9m 57s CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 15:04 9m 57s
Sparsification of Affine Equality Matrix coverage #2603: Pull request #1625 synchronize by feniup
December 10, 2024 14:54 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 14:54 Action required
Sparsification of Affine Equality Matrix coverage #2602: Pull request #1625 synchronize by feniup
December 10, 2024 14:50 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 14:50 Action required
Sparsification of Affine Equality Matrix coverage #2601: Pull request #1625 synchronize by feniup
December 10, 2024 14:48 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 14:48 Action required
Sparsification of Affine Equality Matrix coverage #2600: Pull request #1625 synchronize by feniup
December 10, 2024 14:46 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 14:46 Action required
Sparsification of Affine Equality Matrix coverage #2599: Pull request #1625 synchronize by charlotte-brandt
December 10, 2024 12:54 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 12:54 Action required