更新到0.4.7 #36

Job	Run time
Typecheck and build (ubuntu-latest)	1m 9s
Typecheck and build (windows-latest)	1m 37s
Typecheck and build (macos-latest)	1m 3s
	3m 49s

Provide feedback