mirror of
https://github.com/AdaCore/gpr.git
synced 2026-02-12 12:58:39 -08:00
18 lines
318 B
Plaintext
18 lines
318 B
Plaintext
[run]
|
|
branch = False
|
|
# we can probably activate it once we have more coverage
|
|
|
|
[report]
|
|
fail_under = 60
|
|
# ideally should be around 90, work in progress
|
|
exclude_lines =
|
|
all: no cover
|
|
if TYPE_CHECKING:
|
|
# os-specific
|
|
defensive code
|
|
# + <os>-only and <os>: no cover
|
|
|
|
|
|
[html]
|
|
title = e3 coverage report
|