Add worker details button to workers list

closes #1354 (closed)

changed milestone to %Arkindex 1.5.4

requested review from @erouchet

assigned to @mlbonhomme

The worker details page has less details than the worker viewed in the worker list. Amazing.

added 2 commits

• b67d2d5c - 1 commit from branch master
• b16cc770 - Add worker details button to workers list

Compare with previous version

enabled an automatic merge when the pipeline for b16cc770 succeeds

merged