1-3-stable-specific travis badget