Skip to content

Decrease codecov.io coverage threshold to 1%#982

Merged
make-github-pseudonymous-again merged 1 commit intomainfrom ci-decrease-codecov-coverage-threshold-to-1-percent-1May 21, 2024