github-action

Two small CI changes: #288

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
GHC 8.4.4 on ubuntu-latest	1m 52s
GHC 8.4.4 on macos-latest	20s
GHC 8.6.5 on ubuntu-latest	2m 2s
GHC 8.6.5 on macos-latest	23s
GHC 8.8.4 on ubuntu-latest	1m 56s
GHC 8.8.4 on macos-latest	19s
GHC 8.10.7 on ubuntu-latest	1m 54s
GHC 8.10.7 on macos-latest	2m 30s
GHC 9.0.1 on ubuntu-latest	2m 1s
GHC 9.0.1 on macos-latest	23s
GHC 9.2.5 on ubuntu-latest	1m 59s
GHC 9.2.5 on macos-latest	11m 43s
GHC 9.4.5 on ubuntu-latest	2m 33s
GHC 9.4.5 on macos-latest	16m 48s
GHC 9.6.1 on ubuntu-latest	2m 39s
GHC 9.6.1 on macos-latest	10m 9s
GHC 9.8.2 on ubuntu-latest	1m 28s
GHC 9.8.2 on macos-latest	14m 2s
GHC 9.10.1 on ubuntu-latest	1m 24s
GHC 9.10.1 on macos-latest	10m 34s
	1h 26m 59s