CI self+toolchain

Remove ".git" after cloning, with option to disable #722

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos-latest	14m 28s
ubuntu-latest	9m 10s
windows-latest	17m 20s
	40m 58s