Static scheduler #3842

Job	Run time
check-diff / check	29s
serialization / serialization-tests	8m 6s
py / py-tests / regular-tests (ubuntu-latest)	2m 25s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	10m 14s
ts / benchmarking / benchmark-tests	5m 34s
rs / rs-benchmark-tests / benchmark-tests	15m 27s
c / benchmarking / benchmark-tests	6m 35s
ts / ts-tests / regular-tests (ubuntu-latest)	4m 9s
c / ccpp / regular-tests (ubuntu-latest)	2m 52s
c / default / regular-tests (ubuntu-latest)	2m 50s
c / verifier-and-static-scheduler / run (ubuntu-latest)	8m 0s
cpp / cpp-benchmark-tests / benchmark-tests	12m 18s
cpp / cpp-ros2-tests / cpp-ros2-tests	1h 2m 24s
cpp / cpp-tests / regular-tests (ubuntu-latest)	50m 32s
	3h 11m 55s

Provide feedback