Bumping pxt-core to 13.0.7 #3491

Job	Run time
filter-vtags / filter-vtags	3s
tag-bump-commit / check-merge / check-pr	5s
tag-bump-commit / not-tag-version	4s
tag-bump-commit / check-merge-outputs	3s
tag-bump-commit / tag-version	0s
tag-bump-commit / return	3s
buildpush	4m 16s
buildvtag	-1s
	4m 33s

Navigation Menu