Fix FlexPRET CI #3900

Job	Run time
check-diff / check	24s
serialization / serialization-tests	12m 11s
c / benchmarking / benchmark-tests	6m 40s
c / ccpp / regular-tests (ubuntu-latest)	24m 10s
c / default / regular-tests (ubuntu-latest)	27m 47s
c / verifier / run (ubuntu-latest)	8m 3s
cpp / cpp-benchmark-tests / benchmark-tests	11m 24s
cpp / cpp-ros2-tests / cpp-ros2-tests	41m 52s
cpp / cpp-tests / regular-tests (ubuntu-latest)	50m 1s
py / py-tests / regular-tests (ubuntu-latest)	21m 51s
rs / rs-benchmark-tests / benchmark-tests	15m 12s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	10m 19s
ts / benchmarking / benchmark-tests	5m 41s
ts / ts-tests / regular-tests (ubuntu-latest)	20m 9s
	4h 15m 44s

Provide feedback