Merge pull request #356 from GaloisInc/vr/archaddrwidth #702

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Macaw - GHC v9.2.8	30m 42s
Macaw - GHC v9.4.5	28m 1s
Macaw - GHC v9.6.2	30m 37s
	1h 29m 20s