Support for Patmos platform #3501

Job	Run time
check-diff / check	21s
serialization / serialization-tests	9m 30s
c / benchmarking / benchmark-tests	7m 10s
c / ccpp / regular-tests (ubuntu-latest)	8m 19s
c / default / regular-tests (ubuntu-latest)	20m 46s
c / verifier / run (ubuntu-latest)	7m 57s
cpp / cpp-benchmark-tests / benchmark-tests	11m 46s
cpp / cpp-ros2-tests / cpp-ros2-tests	42m 8s
cpp / cpp-tests / regular-tests (ubuntu-latest)	54m 3s
py / py-tests / regular-tests (ubuntu-latest)	21m 48s
rs / rs-benchmark-tests / benchmark-tests	15m 59s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	10m 33s
ts / benchmarking / benchmark-tests	5m 48s
ts / ts-tests / regular-tests (ubuntu-latest)	20m 6s
	3h 56m 14s

Provide feedback