Repository navigation

CI

Update MicroHs version used in CI #27

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mhs	2m 57s
GHC 9.8 on ubuntu-latest	1m 58s
GHC 9.12 on ubuntu-latest	2m 40s
GHC 9.2 on ubuntu-latest	1m 25s
GHC 8.10 on ubuntu-latest	1m 14s
GHC 9.10 on macos-latest	3m 46s
GHC 9.2 on macos-latest	1m 35s
GHC 9.8 on macos-latest	3m 30s
GHC 8.10 on windows-latest	2m 35s
GHC 9.10 on ubuntu-latest	2m 14s
GHC 9.12 on macos-latest	5m 2s
GHC 9.12 on windows-latest	2m 52s
GHC 9.10 on windows-latest	3m 4s
GHC 9.2 on windows-latest	3m 6s
GHC 9.8 on windows-latest	2m 35s
	40m 33s