CI build

Fix/docs nav #240

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prepare	20s
check-format	2m 1s
linux-x86_64	2m 2s
linux-x86_64 (-gpu)	2m 44s
macosx-arm64	2m 15s
linux-arm64	2m 32s
windows-x86_64	3m 43s
deploy	-1s
	15m 36s