PR Check

删掉ide模式切换按钮，不再引入ide模式 #113

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes	4s
typecheck	37s
test	1m 25s
lint	29s
build-desktop	0s
	2m 35s