Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce backwards compatible infrastructure for parallelism coverage #3055: Pull request #1708 synchronize by arkocal
March 11, 2025 12:06 9m 37s arkocal:parallelism_backwards_compat_1
arkocal:parallelism_backwards_compat_1
March 11, 2025 12:06 9m 37s
Introduce backwards compatible infrastructure for parallelism coverage #3054: Pull request #1708 synchronize by arkocal
March 11, 2025 09:38 9m 50s arkocal:parallelism_backwards_compat_1
arkocal:parallelism_backwards_compat_1
March 11, 2025 09:38 9m 50s
Introduce backwards compatible infrastructure for parallelism coverage #3053: Pull request #1708 synchronize by arkocal
March 11, 2025 09:37 9m 48s arkocal:parallelism_backwards_compat_1
arkocal:parallelism_backwards_compat_1
March 11, 2025 09:37 9m 48s
Introduce backwards compatible infrastructure for parallelism coverage #3052: Pull request #1708 opened by arkocal
March 11, 2025 09:20 10m 3s arkocal:parallelism_backwards_compat_1
arkocal:parallelism_backwards_compat_1
March 11, 2025 09:20 10m 3s
coverage coverage #3051: Scheduled
March 11, 2025 02:43 14m 15s master
master
March 11, 2025 02:43 14m 15s
Update 56-witness/*-tm-inv-tranfer* tests coverage #3050: Pull request #1707 opened by sim642
March 10, 2025 10:53 10m 0s tm-inv-transfer
tm-inv-transfer
March 10, 2025 10:53 10m 0s
coverage coverage #3049: Scheduled
March 10, 2025 02:22 9m 57s master
master
March 10, 2025 02:22 9m 57s
coverage coverage #3048: Scheduled
March 9, 2025 02:21 9m 54s master
master
March 9, 2025 02:21 9m 54s
coverage coverage #3047: Scheduled
March 8, 2025 02:10 12m 31s master
master
March 8, 2025 02:10 12m 31s
Closing the gaps in Texpr generation coverage #3046: Pull request #1700 synchronize by DrMichaelPetter
March 7, 2025 19:24 9m 44s stats_on_texpr
stats_on_texpr
March 7, 2025 19:24 9m 44s
Add bash completion for array element addition and removal coverage #3045: Pull request #1705 synchronize by sim642
March 7, 2025 10:45 9m 57s arg-complete-array
arg-complete-array
March 7, 2025 10:45 9m 57s
Add bash completion for array element addition and removal coverage #3044: Pull request #1705 opened by sim642
March 7, 2025 10:33 9s arg-complete-array
arg-complete-array
March 7, 2025 10:33 9s
coverage coverage #3043: Scheduled
March 7, 2025 02:43 13m 55s master
master
March 7, 2025 02:43 13m 55s
coverage coverage #3042: Scheduled
March 6, 2025 02:43 14m 19s master
master
March 6, 2025 02:43 14m 19s
Fix flaky cram tests where vids leak into witnesses coverage #3041: Pull request #1703 synchronize by michael-schwarz
March 5, 2025 13:27 9m 38s issue_1647
issue_1647
March 5, 2025 13:27 9m 38s
Fix flaky cram tests where vids leak into witnesses coverage #3040: Pull request #1703 synchronize by michael-schwarz
March 5, 2025 12:34 9m 26s issue_1647
issue_1647
March 5, 2025 12:34 9m 26s
Closing the gaps in Texpr generation coverage #3039: Pull request #1700 synchronize by DrMichaelPetter
March 5, 2025 11:52 9m 36s stats_on_texpr
stats_on_texpr
March 5, 2025 11:52 9m 36s
Closing the gaps in Texpr generation coverage #3038: Pull request #1700 synchronize by DrMichaelPetter
March 5, 2025 11:39 9m 37s stats_on_texpr
stats_on_texpr
March 5, 2025 11:39 9m 37s
Closing the gaps in Texpr generation coverage #3037: Pull request #1700 synchronize by DrMichaelPetter
March 5, 2025 08:51 9m 59s stats_on_texpr
stats_on_texpr
March 5, 2025 08:51 9m 59s
coverage coverage #3036: Scheduled
March 5, 2025 02:42 13m 22s master
master
March 5, 2025 02:42 13m 22s
Fix flaky cram tests where vids leak into witnesses coverage #3035: Pull request #1703 opened by michael-schwarz
March 4, 2025 14:21 9m 56s issue_1647
issue_1647
March 4, 2025 14:21 9m 56s
Closing the gaps in Texpr generation coverage #3034: Pull request #1700 synchronize by DrMichaelPetter
March 4, 2025 10:22 9m 47s stats_on_texpr
stats_on_texpr
March 4, 2025 10:22 9m 47s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #3033: Pull request #1485 synchronize by jerhard
March 4, 2025 09:07 10m 11s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
March 4, 2025 09:07 10m 11s
Add missing type unrollings coverage #3032: Pull request #1677 synchronize by sim642
March 4, 2025 07:08 9m 45s unrolltype
unrolltype
March 4, 2025 07:08 9m 45s
coverage coverage #3031: Scheduled
March 4, 2025 02:42 14m 12s master
master
March 4, 2025 02:42 14m 12s