bug fix in the Patmos platform #3840

Job	Run time
check-diff / check	20s
serialization / serialization-tests	10m 39s
c / benchmarking / benchmark-tests	7m 2s
c / default / regular-tests (ubuntu-latest)	27m 22s
c / ccpp / regular-tests (ubuntu-latest)	24m 38s
c / verifier / run (ubuntu-latest)	8m 13s
cpp / cpp-benchmark-tests / benchmark-tests	12m 28s
cpp / cpp-ros2-tests / cpp-ros2-tests	42m 13s
cpp / cpp-tests / regular-tests (ubuntu-latest)	50m 32s
py / py-tests / regular-tests (ubuntu-latest)	20m 4s
rs / rs-benchmark-tests / benchmark-tests	15m 58s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	10m 29s
ts / benchmarking / benchmark-tests	5m 45s
ts / ts-tests / regular-tests (ubuntu-latest)	21m 39s
	4h 17m 22s

Provide feedback