Skip to content
Back to pull request #2671

coverage: Use OverloadedRecordDot instead of RecordWildCards #344

Sign in to view logs

coverage: Use OverloadedRecordDot instead of RecordWildCards

coverage: Use OverloadedRecordDot instead of RecordWildCards #344

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint & Style
1m 23s
1m 23s