Use progress formatter for 10-stable travis