Document worker type filter

closes #1523 (closed)

changed milestone to %Arkindex 1.5.0

requested review from @erwanrouchet

assigned to @mlbonhomme

added 7 commits

• 903ca9a8...b9fdf674 - 6 commits from branch master
• 3e81c7a3 - Document worker type filter

Compare with previous version

enabled an automatic merge when the pipeline for 3e81c7a3 succeeds

merged