CI

Support for Lean in `exercism test` #478

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Go 1.21.x - windows-latest	1m 13s
Go 1.20.x - macOS-latest	1m 19s
Go Format	9s
Go 1.20.x - ubuntu-latest	31s
Go 1.20.x - windows-latest	1m 21s
Go 1.21.x - ubuntu-latest	30s
Go 1.21.x - macOS-latest	50s
	5m 53s