Patmos: better compiler flags #3890

Job	Run time
check-diff / check	17s
serialization / serialization-tests	9m 16s
c / benchmarking / benchmark-tests	6m 35s
c / ccpp / regular-tests (ubuntu-latest)	23m 15s
c / default / regular-tests (ubuntu-latest)	27m 6s
c / verifier / run (ubuntu-latest)	7m 42s
cpp / cpp-benchmark-tests / benchmark-tests	11m 55s
cpp / cpp-ros2-tests / cpp-ros2-tests	42m 14s
cpp / cpp-tests / regular-tests (ubuntu-latest)	50m 3s
py / py-tests / regular-tests (ubuntu-latest)	21m 40s
rs / rs-benchmark-tests / benchmark-tests	15m 0s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	10m 23s
ts / benchmarking / benchmark-tests	5m 46s
ts / ts-tests / regular-tests (ubuntu-latest)	19m 49s
	4h 11m 1s

Provide feedback