go back to older wording for CI badge