CI

Shut down the command line's thread pool when formatting is done #140

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	4m 26s
native (macos-aarch64)	8m 54s
native (macos-x86-64)	19m 43s
native (windows-x86-64)	9m 25s
native (linux-x86-64)	6m 58s
native (linux-aarch64)	6m 32s
	55m 58s