CI

Update github workflow versions #234

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Nix build	1m 37s
GHC 9.6 on ubuntu-latest / build	12m 16s
GHC 9.8 on windows-latest / build	12m 19s
GHC 9.12 on ubuntu-latest / build	12m 48s
GHC 9.8 on ubuntu-latest / build	11m 54s
GHC 9.8 on macos-latest / build	12m 0s
GHC 9.10 on ubuntu-latest / build	12m 8s
	1h 15m 2s