Merge branch 'develop' into timer

6 jobs for timer in 1 minute and 46 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #6287
docker
build:container

00:00:51

passed #6286
cmake
build:prrt

00:00:37

 
  Test
passed #6289
bash
test:prrt_functional

00:00:05

passed #6288
valgrind
test:prrt_mem

00:00:35

passed #6290
python3 bash
test:prrt_python_bindings

00:00:19

 
  Deploy
passed #6291
python3
deploy:pypi

00:00:19