CI

Support for Lean in `exercism test` #473

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Go Format	8s
Go 1.21.x - windows-latest	1m 28s
Go 1.20.x - ubuntu-latest	33s
Go 1.20.x - windows-latest	1m 6s
Go 1.21.x - ubuntu-latest	33s
Go 1.21.x - macOS-latest	44s
Go 1.20.x - macOS-latest	54s
	5m 26s