CI self+toolchain

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos-latest	8m 11s
ubuntu-latest	8m 7s
windows-latest	7m 51s
	24m 9s