Update the Travis file of the workbench
Merge pull request #5540 from AntoineAugusti/4.2

Update the Travis file of the workbench