Static scheduler #3789

Job	Run time
check-diff / check	26s
serialization / serialization-tests	9m 14s
c / benchmarking / benchmark-tests	6m 16s
c / ccpp / regular-tests (ubuntu-latest)	2m 16s
c / default / regular-tests (ubuntu-latest)	2m 24s
c / verifier-and-static-scheduler / run (ubuntu-latest)	7m 39s
cpp / cpp-ros2-tests / cpp-ros2-tests	42m 6s
cpp / cpp-benchmark-tests / benchmark-tests	12m 16s
py / py-tests / regular-tests (ubuntu-latest)	2m 7s
cpp / cpp-tests / regular-tests (ubuntu-latest)	50m 15s
rs / rs-benchmark-tests / benchmark-tests	15m 37s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	10m 21s
ts / benchmarking / benchmark-tests	5m 57s
ts / ts-tests / regular-tests (ubuntu-latest)	3m 57s
	2h 50m 51s

Provide feedback