Removing the finally useless CI scripts