CI

Merge pull request #364 from GaloisInc/vr/minor-cleanups #714

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Macaw - GHC v9.2.8	34m 23s
Macaw - GHC v9.4.5	26m 44s
Macaw - GHC v9.6.2	27m 46s
	1h 28m 53s