Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #2466: Scheduled
November 17, 2024 02:48 13m 10s master
master
November 17, 2024 02:48 13m 10s
coverage coverage #2465: Scheduled
November 16, 2024 02:42 9m 31s master
master
November 16, 2024 02:42 9m 31s
Sparsification of Affine Equality Matrix coverage #2464: Pull request #1625 synchronize by GollokG
November 15, 2024 14:09 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 15, 2024 14:09 Action required
coverage coverage #2463: Scheduled
November 15, 2024 02:46 11m 26s master
master
November 15, 2024 02:46 11m 26s
Bitfield Domain coverage #2462: Pull request #1623 synchronize by ManuelLerchner
November 14, 2024 19:41 Action required ManuelLerchner:master
ManuelLerchner:master
November 14, 2024 19:41 Action required
Bitfield Domain coverage #2461: Pull request #1623 synchronize by ManuelLerchner
November 14, 2024 19:34 Action required ManuelLerchner:master
ManuelLerchner:master
November 14, 2024 19:34 Action required
Bitfield Domain coverage #2460: Pull request #1623 synchronize by ManuelLerchner
November 14, 2024 19:27 Action required ManuelLerchner:master
ManuelLerchner:master
November 14, 2024 19:27 Action required
Bitfield Domain coverage #2459: Pull request #1623 synchronize by ManuelLerchner
November 14, 2024 19:24 Action required ManuelLerchner:master
ManuelLerchner:master
November 14, 2024 19:24 Action required
Sparsification of Affine Equality Matrix coverage #2458: Pull request #1625 synchronize by CopperCableIsolator
November 14, 2024 17:40 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 14, 2024 17:40 Action required
Sparsification of Affine Equality Matrix coverage #2457: Pull request #1625 synchronize by GollokG
November 14, 2024 17:28 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 14, 2024 17:28 Action required
SV-COMP 2025 development coverage #2456: Pull request #1601 synchronize by sim642
November 14, 2024 15:41 9m 42s svcomp25-dev
svcomp25-dev
November 14, 2024 15:41 9m 42s
Sparsification of Affine Equality Matrix coverage #2455: Pull request #1625 synchronize by feniup
November 14, 2024 13:24 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 14, 2024 13:24 Action required
Error on must-relocking of non-recursive mutex coverage #2454: Pull request #1628 opened by sim642
November 14, 2024 08:52 10m 2s must-relock
must-relock
November 14, 2024 08:52 10m 2s
coverage coverage #2453: Scheduled
November 14, 2024 02:38 17m 23s master
master
November 14, 2024 02:38 17m 23s
coverage coverage #2452: Scheduled
November 13, 2024 02:37 14m 7s master
master
November 13, 2024 02:37 14m 7s
Sparsification of Affine Equality Matrix coverage #2451: Pull request #1625 synchronize by CopperCableIsolator
November 12, 2024 18:08 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 12, 2024 18:08 Action required
Sparsification of Affine Equality Matrix coverage #2450: Pull request #1625 synchronize by feniup
November 12, 2024 17:32 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 12, 2024 17:32 Action required
Sparsification of Affine Equality Matrix coverage #2449: Pull request #1625 synchronize by GollokG
November 12, 2024 16:52 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 12, 2024 16:52 Action required
Bitfield Domain coverage #2447: Pull request #1623 synchronize by ManuelLerchner
November 12, 2024 16:20 Action required ManuelLerchner:master
ManuelLerchner:master
November 12, 2024 16:20 Action required
Bitfield Domain coverage #2446: Pull request #1623 synchronize by ManuelLerchner
November 12, 2024 16:02 Action required ManuelLerchner:master
ManuelLerchner:master
November 12, 2024 16:02 Action required
Sparsification of Affine Equality Matrix coverage #2445: Pull request #1625 synchronize by GollokG
November 12, 2024 15:58 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 12, 2024 15:58 Action required
Sparsification of Affine Equality Matrix coverage #2444: Pull request #1625 synchronize by CopperCableIsolator
November 12, 2024 15:06 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 12, 2024 15:06 Action required
Bitfield Domain coverage #2443: Pull request #1623 synchronize by AdrianKrauss
November 12, 2024 09:06 Action required ManuelLerchner:master
ManuelLerchner:master
November 12, 2024 09:06 Action required
coverage coverage #2442: Scheduled
November 12, 2024 02:34 13m 49s master
master
November 12, 2024 02:34 13m 49s
coverage coverage #2441: Scheduled
November 11, 2024 02:38 17m 14s master
master
November 11, 2024 02:38 17m 14s