CI

Local definition generalization and possible TDNR improvement #7251

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ormolu	0s
ubuntu-20.04	23m 6s
macOS-12	22m 18s
windows-2019	16m 43s
	1h 2m 7s