Skip to content

Bugfix: Do not make patch coverage a failing wf#2317

Merged
lenaploetzke merged 2 commits into
mainfrom
informational_patch_coverage
May 12, 2026
Merged

Bugfix: Do not make patch coverage a failing wf#2317
lenaploetzke merged 2 commits into
mainfrom
informational_patch_coverage

Commits

Commits on May 11, 2026