Merge pull request #337 from GaloisInc/vr/unused-pragmas #627

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Macaw - GHC v8.10.7	1h 31m 42s
Macaw - GHC v9.2.7	1h 13m 54s
Macaw - GHC v9.4.4	1h 7m 23s
	3h 52m 59s