Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add missing type unrollings coverage #3030: Pull request #1677 synchronize by sim642
March 3, 2025 18:49 9m 40s unrolltype
unrolltype
March 3, 2025 18:49 9m 40s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #3029: Pull request #1485 synchronize by jerhard
March 3, 2025 16:28 9m 47s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
March 3, 2025 16:28 9m 47s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #3028: Pull request #1485 synchronize by jerhard
March 3, 2025 15:55 10m 15s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
March 3, 2025 15:55 10m 15s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #3027: Pull request #1485 synchronize by jerhard
March 3, 2025 15:45 9m 59s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
March 3, 2025 15:45 9m 59s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis coverage #3026: Pull request #1485 synchronize by jerhard
March 3, 2025 15:43 10m 15s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
March 3, 2025 15:43 10m 15s
Add missing type unrollings coverage #3025: Pull request #1677 synchronize by sim642
March 3, 2025 14:09 10m 0s unrolltype
unrolltype
March 3, 2025 14:09 10m 0s
Fix refinement in baseInvariant for more complicated lvals coverage #3024: Pull request #1701 synchronize by michael-schwarz
March 3, 2025 09:34 11m 22s pr_1659_repair
pr_1659_repair
March 3, 2025 09:34 11m 22s