Lint

Bump coverage from 7.13.0 to 7.13.1 #6936

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.13, windows-latest)	6m 21s
build (3.13, ubuntu-latest)	5m 39s
completion-lint	2s
	12m 2s