CI

Merge pull request #450 from GaloisInc/449-git-urls #917

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Macaw - GHC v9.4.8	1h 22m 52s
Macaw - GHC v9.6.6	1h 16m 13s
Macaw - GHC v9.8.2	1h 15m 17s
	3h 54m 22s