CI Matrix

Merge pull request #469 from GaloisInc/quickstart #1144

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker	7m 43s
GHC 9.6.2 on self-hosted pate-ppc	52m 1s
	59m 44s