Update the Travis file of the workbench