Back to pull request #2671

coverage: Use OverloadedRecordDot instead of RecordWildCards #302

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Coverage	6m 18s
Loadtest	7m 25s
Memory	3m 19s
PG 9_6	5m 48s
PG 10	5m 59s
PG 11	5m 40s
PG 12	5m 15s
PG 13	5m 5s
PG 14	5m 11s
PG 15	5m 2s
PG 16	5m 5s
	1h 0m 7s