Formatting change to Trigger Event column for pipelines that use GitHub App in CircleCI web app

On the “All Pipelines” page of the CircleCI web app, the “Trigger Event” column now has slightly different formatting for pipelines that are triggered via CircleCI’s GitHub App integration.