diff options
| author | Paul Buetow <paul@buetow.org> | 2025-09-03 17:09:01 +0300 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2025-09-03 17:09:01 +0300 |
| commit | d2ee730256c6ecfad7dd2a164d2bb822236b7b44 (patch) | |
| tree | 1e7511b5dfac56a714850729334be01751c2c9c1 /docs | |
| parent | 88d346f455350a7c146438b5033dcbf693a535d3 (diff) | |
mage: warn when total coverage < 80% on Build and Install if a coverage profile exists
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions
