Merge remote-tracking branch 'origin/timer' into develop

8 jobs for develop in 53202 minutes and 49 seconds (queued for 4 seconds)
latest
Status Job ID Name Coverage
  Build
passed #11039
docker
build:container

00:01:22

passed #11040
docker
build:container_tcp

00:01:21

passed #11038
cmake
build:prrt

00:00:51

 
  Test
passed #11042
bash
test:prrt_functional

00:00:33

canceled #11041
valgrind
test:prrt_mem

886:41:26

passed #11043
python3 bash
test:prrt_python_bindings

00:00:21

 
  Deploy
skipped #11045
gprof
deploy:profile
skipped #11044
python3
deploy:pypi