CircleCI checks for extension

That’ll be something that one of the administrators of that repository will have to set up.