Back to pull request #2671

coverage: Use OverloadedRecordDot instead of RecordWildCards #462

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Linkcheck	53s
Spellcheck	34s
Build	44s
	2m 11s