test: Warn if both `VERIFY` and `COVERAGE` are defined
e83801f5db
real-or-random approved
real-or-random added the label build on May 30, 2023
real-or-random added the label assurance on May 30, 2023
real-or-random merged this on May 31, 2023
real-or-random closed this on May 31, 2023
hebasto deleted the branch on Jun 1, 2023
vmta referenced this in commit
e1120c94a1 on Jun 4, 2023
sipa referenced this in commit
901336eee7 on Jun 21, 2023
vmta referenced this in commit
8f03457eed on Jul 1, 2023
hebasto referenced this in commit
270d2b37b8 on Jul 21, 2023
delta1 referenced this in commit
3f32c20932 on Aug 8, 2023
delta1 referenced this in commit
31ac0c1081 on Aug 31, 2023
janus referenced this in commit
c4348d88db on Sep 11, 2023
div72 referenced this in commit
af627d47c3 on Apr 12, 2025
str4d referenced this in commit
5a6bf5f178 on Jun 4, 2025
Fabcien referenced this in commit
1b42f41a34 on Apr 29, 2026
Fabcien referenced this in commit
cf9cd90cfc on Apr 29, 2026