CI

Update Lean toolchain to v4.28.0. #324

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Linux-aarch64	6m 11s
Windows-x86_64	17m 59s
Linux-x86_64	7m 52s
macOS-x86_64	16m 31s
macOS-aarch64	7m 37s
	56m 10s