deleted unused Travis workspace