favor `ArchAddrWidth` over `RegAddrWidth (ArchReg ...)` #696

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Macaw - GHC v9.2.8	34m 4s
Macaw - GHC v9.4.5	30m 36s
Macaw - GHC v9.6.2	29m 6s
	1h 33m 46s