Merge pull request #275 from HeinrichApfelmus/buildw-type #242

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ghc 9.4.1	3m 27s
ghc 9.2.4	3m 25s
ghc 8.10.7	3m 30s
ghc 8.8.4	3m 22s
ghc 8.6.5	3m 31s
ghc 8.4.4	3m 29s
	20m 44s