Merge pull request #288 from Bodigrim/patch-1 #236

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ghc 9.4.1	14m 26s
ghc 9.2.4	14m 18s
ghc 8.10.7	15m 52s
ghc 8.8.4	15m 12s
ghc 8.6.5	18m 3s
ghc 8.4.4	14m 24s
	1h 32m 15s