Merge pull request #7498 from def-/pr-codecov-prs

coverage: Don't complain on PRs (fixes #7497)
This commit is contained in:
Robert Müller 2023-11-19 11:44:08 +00:00 committed by GitHub
commit f9464d8144
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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