coverage: Don't complain on PRs (fixes #7497)

This commit is contained in:
Dennis Felsing 2023-11-19 12:27:54 +01:00
parent 5ab96decc3
commit 3d485a9640

View file

@ -1 +1,6 @@
comment: false
coverage:
status:
project:
default:
target: 0%