CI

Merge pull request #4608 from unisonweb/pg/sync #7191

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ormolu	28s
ubuntu-20.04	44m 0s
macOS-12	1h 3m 59s
windows-2019	41m 49s
	2h 30m 16s