Add the --notool option, to avoid errors when tools are not available #219

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu \| 3.8	22s
ubuntu \| 3.9	7s
ubuntu \| 3.1	5s
ubuntu \| 3.11	23s
ubuntu \| 3.12	22s
windows \| 3.12	7s
	1m 26s