Tyger

Fix `tyger run cancel` race condition #634

Job	Run time
test-azure-needs-hosted-runner	2s
get-config	7s
build-windows-binaries	16s
codeql (csharp)	2m 50s
unit-tests-and-format	4m 1s
codeql (go)	3m 18s
verify-docker	7m 33s
up	8m 1s
build-images	3m 2s
restore-scale-to-zero	2m 48s
windows-smoke-tests	1m 13s
integration-tests	4m 15s
publishDocs	0s
release	0s
	37m 26s

Provide feedback