Skip to content

Conversation

@pahmann
Copy link
Member

@pahmann pahmann commented Jan 14, 2026

Aligns the possibility to get a lower coverage value on arguing why this is possible.

Aligns the possibility to get a lower coverage value on arguing why this is possible.

Signed-off-by: Philipp Ahmann <2428012+pahmann@users.noreply.github.com>
@github-actions
Copy link

The created documentation from the pull request is available at: docu-html

@masc2023 masc2023 merged commit 95867fe into main Jan 14, 2026
5 checks passed
@masc2023 masc2023 deleted the pahmann/verification-deviation-coverage branch January 14, 2026 16:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants