Static scheduler #3815

Job	Run time
check-diff / check	18s
serialization / serialization-tests	9m 33s
c / benchmarking / benchmark-tests	6m 5s
c / default / regular-tests (ubuntu-latest)	2m 28s
c / verifier-and-static-scheduler / run (ubuntu-latest)	8m 14s
c / ccpp / regular-tests (ubuntu-latest)	2m 11s
cpp / cpp-benchmark-tests / benchmark-tests	11m 55s
cpp / cpp-ros2-tests / cpp-ros2-tests	40m 31s
cpp / cpp-tests / regular-tests (ubuntu-latest)	49m 31s
py / py-tests / regular-tests (ubuntu-latest)	2m 10s
rs / rs-benchmark-tests / benchmark-tests	15m 26s
ts / benchmarking / benchmark-tests	5m 53s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	10m 35s
ts / ts-tests / regular-tests (ubuntu-latest)	4m 3s
	2h 48m 53s

Provide feedback