Skip to content

Codecov: disable PR comments, enable informational statuses#4265

Merged
wilfwilson merged 1 commit intogap-system:masterfrom
fingolfin:mh/codecov
Feb 17, 2021
Merged

Codecov: disable PR comments, enable informational statuses#4265
wilfwilson merged 1 commit intogap-system:masterfrom
fingolfin:mh/codecov

Conversation

@fingolfin
Copy link
Copy Markdown
Member

Resolves #4260 (I hope...)

@fingolfin fingolfin added release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: infrastructure labels Feb 17, 2021
Copy link
Copy Markdown
Contributor

@ThomasBreuer ThomasBreuer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let us give it a try.

@fingolfin
Copy link
Copy Markdown
Member Author

Seems to work well. @alex-konovalov @ThomasBreuer

Copy link
Copy Markdown
Member

@wilfwilson wilfwilson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Wonderful

@wilfwilson wilfwilson merged commit 9a929a4 into gap-system:master Feb 17, 2021
@wilfwilson wilfwilson added the gapdays2021-spring Issues and PRs that could be tackled or discussed at https://www.gapdays.de/gapdays2021-spring label Feb 17, 2021
@fingolfin fingolfin deleted the mh/codecov branch February 17, 2021 22:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

gapdays2021-spring Issues and PRs that could be tackled or discussed at https://www.gapdays.de/gapdays2021-spring release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: infrastructure

Projects

None yet

Development

Successfully merging this pull request may close these issues.

e-mails sent by codecov[bot]

3 participants