Build

Fix #269 and rewrite DFAMin #24

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
GHC 8.0.2 on ubuntu-latest	4m 6s
GHC 8.2.2 on ubuntu-latest	2m 49s
GHC 8.4.4 on ubuntu-latest	3m 2s
GHC 8.6.5 on ubuntu-latest	3m 5s
GHC 8.8.4 on ubuntu-latest	2m 54s
GHC 8.10.7 on ubuntu-latest	3m 4s
GHC 9.0.2 on ubuntu-latest	2m 59s
GHC 9.2.8 on ubuntu-latest	2m 48s
GHC 9.4.8 on ubuntu-latest	3m 37s
GHC 9.6.6 on ubuntu-latest	3m 52s
GHC 9.8.4 on ubuntu-latest	3m 51s
GHC 9.10.1 on ubuntu-latest	2m 26s
GHC 9.12.2 on ubuntu-latest	2m 16s
GHC 9.12.2 on macos-latest	5m 35s
GHC 9.12.2 on windows-latest	7m 53s
	54m 17s