github-action

Merge branch 'develop' into no-group #278

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
GHC 8.4.4 on ubuntu-latest	7m 26s
GHC 8.4.4 on macos-latest	15m 56s
GHC 8.6.5 on ubuntu-latest	4m 25s
GHC 8.6.5 on macos-latest	36m 38s
GHC 8.8.4 on ubuntu-latest	4m 19s
GHC 8.8.4 on macos-latest	37m 55s
GHC 8.10.7 on ubuntu-latest	4m 29s
GHC 8.10.7 on macos-latest	8m 25s
GHC 9.0.1 on ubuntu-latest	4m 20s
GHC 9.0.1 on macos-latest	39m 40s
GHC 9.2.5 on ubuntu-latest	9m 12s
GHC 9.2.5 on macos-latest	23m 12s
GHC 9.4.5 on ubuntu-latest	4m 54s
GHC 9.4.5 on macos-latest	44m 40s
GHC 9.6.1 on ubuntu-latest	14m 35s
GHC 9.6.1 on macos-latest	39m 27s
GHC 9.8.2 on ubuntu-latest	8m 20s
GHC 9.8.2 on macos-latest	37m 52s
GHC 9.10.1 on ubuntu-latest	8m 7s
GHC 9.10.1 on macos-latest	40m 17s
	6h 34m 9s