Hint to GHC that indices are to be used strictly #388

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest / ghc 8.0.2	6m 39s
ubuntu-latest / ghc 8.2.2	5m 17s
ubuntu-latest / ghc 8.4.4	5m 6s
ubuntu-latest / ghc 8.6.5	6m 28s
ubuntu-latest / ghc 8.8.4	6m 39s
ubuntu-latest / ghc 8.10.7	6m 36s
ubuntu-latest / ghc 9.0.2	6m 48s
ubuntu-latest / ghc 9.2.8	6m 32s
ubuntu-latest / ghc 9.4.8	6m 10s
ubuntu-latest / ghc 9.6.4	4m 3s
ubuntu-latest / ghc 9.6.4	4m 53s
ubuntu-latest / ghc 9.8.2	4m 5s
windows-latest / ghc 8.4.4	9m 3s
macOS-latest / ghc 8.4.4	8m 54s
macOS-latest / ghc 8.6.5	11m 44s
macOS-latest / ghc 8.8.4	8m 48s
macOS-latest / ghc 8.10.7	8m 30s
macOS-latest / ghc 9.0.2	8m 45s
macOS-latest / ghc 9.2.8	8m 7s
macOS-latest / ghc 9.4.8	7m 30s
macOS-latest / ghc 9.6.4	7m 47s
macOS-latest / ghc 9.8.2	9m 39s
	2h 38m 3s