Merge branch 'develop'

6 jobs for master in 1 minute and 30 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #4100
docker
build:container

00:00:25

passed #4099
cmake
build:prrt

00:00:35

 
  Test
passed #4102
bash
test:prrt_functional

00:00:10

passed #4101
valgrind
test:prrt_mem

00:00:41

passed #4103
bash python3
test:prrt_python_bindings

00:00:13

 
  Deploy
passed #4104
python3
deploy:pypi

00:00:13