Merge pull request #2438 from lf-lang/file-separator #3854

Job	Run time
check-diff / check	20s
serialization / serialization-tests	9m 55s
c / benchmarking / benchmark-tests	6m 51s
c / default / regular-tests (ubuntu-latest)	27m 31s
c / verifier / run (ubuntu-latest)	8m 9s
c / ccpp / regular-tests (ubuntu-latest)	23m 14s
cpp / cpp-benchmark-tests / benchmark-tests	11m 52s
cpp / cpp-ros2-tests / cpp-ros2-tests	44m 8s
cpp / cpp-tests / regular-tests (ubuntu-latest)	51m 3s
py / py-tests / regular-tests (ubuntu-latest)	22m 20s
rs / rs-benchmark-tests / benchmark-tests	15m 35s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	10m 59s
ts / benchmarking / benchmark-tests	5m 36s
ts / ts-tests / regular-tests (ubuntu-latest)	20m 14s
	4h 17m 47s

Provide feedback