Quasi-static scheduler based on PretVM #3842

Job	Run time
check-diff / check	17s
check-labels / check	2s
building / build-toolchain (ubuntu-latest)	7m 30s
cli / test-cli (ubuntu-latest)	5m 1s
	12m 50s

Provide feedback