add: CI badge