CI Matrix

Merge pull request #358 from GaloisInc/dm/testing-scripts2 #723

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker	1h 9m 36s
GHC 9.6.2 on self-hosted pate-ppc	3h 0m 55s
	4h 10m 31s