Thread pinning checks.

7 jobs for develop in 2 minutes and 7 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build
passed #9381
docker
build:container

00:00:46

passed #9380
cmake
build:prrt

00:00:52

 
  Test
passed #9383
bash
test:prrt_functional

00:00:06

passed #9382
valgrind
test:prrt_mem

00:00:35

passed #9384
python3 bash
test:prrt_python_bindings

00:00:16

 
  Deploy
passed #9386
gprof
deploy:profile

00:00:39

passed #9385
python3
deploy:pypi

00:00:16