Merge pull request #2324 from lf-lang/sdo/selectionStyle #58

Job	Run time
check-diff / check	21s
serialization / serialization-tests	12m 46s
c / benchmarking / benchmark-tests	6m 38s
c / ccpp / regular-tests (ubuntu-latest)	22m 23s
c / default / regular-tests (ubuntu-latest)	26m 59s
c / verifier / run (ubuntu-latest)	7m 49s
cpp / cpp-benchmark-tests / benchmark-tests	11m 48s
cpp / cpp-ros2-tests / cpp-ros2-tests	41m 35s
cpp / cpp-tests / regular-tests (ubuntu-latest)	48m 27s
py / py-tests / regular-tests (ubuntu-latest)	21m 13s
rs / rs-benchmark-tests / benchmark-tests	15m 33s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	11m 36s
ts / ts-tests / regular-tests (ubuntu-latest)	22m 1s
ts / benchmarking / benchmark-tests	6m 19s
	4h 15m 28s

Provide feedback