Scheduling enclaves in the C target #1704

Job	Run time
check-diff / check	24s
cpp	0s
rs	0s
ts	0s
serialization / serialization-tests	9m 22s
c / benchmarking / benchmark-tests	7m 22s
c / default / regular-tests (ubuntu-latest)	32m 16s
c / zephyr / zephyr-tests	1h 2m 11s
c / arduino / arduino-tests (ubuntu-latest)	4m 52s
c / verifier / run (ubuntu-latest)	9m 18s
c / ccpp / regular-tests (ubuntu-latest)	20m 38s
py / py-tests / regular-tests (ubuntu-latest)	23m 33s
	2h 49m 56s

Provide feedback