build(deps-dev): bump coverage from 7.12.0 to 7.13.0#443

per1234 merged 1 commit intomainarduino/compile-sketches:mainfrom

dependabot/pip/coverage-7.13.0arduino/compile-sketches:dependabot/pip/coverage-7.13.0Copy head branch name to clipboard