CI Matrix

Merge pull request #387 from GaloisInc/dm/control_sync_wip2 #947

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker	9m 18s
GHC 9.6.2 on self-hosted pate-ppc	1h 13m 7s
	1h 22m 25s