Merge pull request #295 from HeinrichApfelmus/HeinrichApfelmus/update-ci #246

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ghc 9.8.1	9m 30s
ghc 9.6.3	13m 31s
ghc 9.4.8	7m 49s
ghc 9.2.8	10m 43s
ghc 8.10.7	11m 10s
ghc 8.8.4	11m 14s
ghc 8.6.5	13m 5s
ghc 8.4.4	10m 31s
	1h 27m 33s