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

Sparsification of Affine Equality Matrix coverage #2598: Pull request #1625 synchronize by charlotte-brandt
December 10, 2024 11:52 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 11:52 Action required
Add VMCAI '25 artifact description to docs coverage #2597: Pull request #1638 opened by sim642
December 10, 2024 10:39 10m 12s vmcai25-docs
vmcai25-docs
December 10, 2024 10:39 10m 12s
Sparsification of Affine Equality Matrix coverage #2596: Pull request #1625 synchronize by charlotte-brandt
December 10, 2024 09:05 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 09:05 Action required
coverage coverage #2595: Scheduled
December 10, 2024 02:52 13m 45s master
master
December 10, 2024 02:52 13m 45s
Sparsification of Affine Equality Matrix coverage #2594: Pull request #1625 synchronize by feniup
December 9, 2024 16:34 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 9, 2024 16:34 Action required
Sparsification of Affine Equality Matrix coverage #2593: Pull request #1625 synchronize by feniup
December 9, 2024 16:20 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 9, 2024 16:20 Action required
Sparsification of Affine Equality Matrix coverage #2592: Pull request #1625 synchronize by feniup
December 9, 2024 15:49 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 9, 2024 15:49 Action required
Sparsification of Affine Equality Matrix coverage #2591: Pull request #1625 synchronize by feniup
December 9, 2024 15:36 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 9, 2024 15:36 Action required
Sparsification of Affine Equality Matrix coverage #2590: Pull request #1625 synchronize by feniup
December 9, 2024 10:39 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 9, 2024 10:39 Action required
coverage coverage #2589: Scheduled
December 9, 2024 02:54 14m 27s master
master
December 9, 2024 02:54 14m 27s
coverage coverage #2588: Scheduled
December 8, 2024 02:55 13m 46s master
master
December 8, 2024 02:55 13m 46s
Sparsification of Affine Equality Matrix coverage #2587: Pull request #1625 synchronize by GollokG
December 7, 2024 11:21 9m 47s CopperCableIsolator:master
CopperCableIsolator:master
December 7, 2024 11:21 9m 47s
Sparsification of Affine Equality Matrix coverage #2586: Pull request #1625 synchronize by charlotte-brandt
December 7, 2024 10:58 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 7, 2024 10:58 Action required
coverage coverage #2585: Scheduled
December 7, 2024 02:48 13m 25s master
master
December 7, 2024 02:48 13m 25s
Sparsification of Affine Equality Matrix coverage #2584: Pull request #1625 synchronize by feniup
December 6, 2024 22:20 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 6, 2024 22:20 Action required
Sparsification of Affine Equality Matrix coverage #2583: Pull request #1625 synchronize by feniup
December 6, 2024 22:13 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 6, 2024 22:13 Action required
Sparsification of Affine Equality Matrix coverage #2582: Pull request #1625 synchronize by charlotte-brandt
December 6, 2024 21:10 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 6, 2024 21:10 Action required
Sparsification of Affine Equality Matrix coverage #2581: Pull request #1625 synchronize by GollokG
December 6, 2024 19:12 9m 48s CopperCableIsolator:master
CopperCableIsolator:master
December 6, 2024 19:12 9m 48s
Sparsification of Affine Equality Matrix coverage #2580: Pull request #1625 synchronize by GollokG
December 6, 2024 17:42 9m 15s CopperCableIsolator:master
CopperCableIsolator:master
December 6, 2024 17:42 9m 15s
Sparsification of Affine Equality Matrix coverage #2579: Pull request #1625 synchronize by GollokG
December 6, 2024 12:53 10m 2s CopperCableIsolator:master
CopperCableIsolator:master
December 6, 2024 12:53 10m 2s
Sparsification of Affine Equality Matrix coverage #2578: Pull request #1625 synchronize by GollokG
December 6, 2024 11:32 9m 32s CopperCableIsolator:master
CopperCableIsolator:master
December 6, 2024 11:32 9m 32s
Sparsification of Affine Equality Matrix coverage #2577: Pull request #1625 synchronize by GollokG
December 6, 2024 09:51 9m 34s CopperCableIsolator:master
CopperCableIsolator:master
December 6, 2024 09:51 9m 34s
Sparsification of Affine Equality Matrix coverage #2576: Pull request #1625 synchronize by GollokG
December 6, 2024 09:13 9m 26s CopperCableIsolator:master
CopperCableIsolator:master
December 6, 2024 09:13 9m 26s
coverage coverage #2575: Scheduled
December 6, 2024 02:50 13m 32s master
master
December 6, 2024 02:50 13m 32s
Sparsification of Affine Equality Matrix coverage #2574: Pull request #1625 synchronize by GollokG
December 5, 2024 21:59 9m 42s CopperCableIsolator:master
CopperCableIsolator:master
December 5, 2024 21:59 9m 42s