Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Treat all warnings as errors on certain projects. #234

Merged
merged 1 commit into from
Jul 23, 2021

Conversation

AraHaan
Copy link
Collaborator

@AraHaan AraHaan commented Jul 23, 2021

Checklist

  • I have read the Code of Conduct and the Contributing files before opening this issue.
  • I have verified the issue this pull request fixes or feature this pull request implements is to the current release.
  • I am using the latest stable release with the above code fix or the current main branch if code changes are present (prerelease code changes).
  • I have debugged and tested my changes before submitting this issue and that everything should just work.

Describe the issue this fixes / feature this adds

Signed-off-by: AraHaan <seandhunt_7@yahoo.com>
@mergify mergify bot added the enhancement New feature or request label Jul 23, 2021
@AraHaan AraHaan marked this pull request as ready for review July 23, 2021 09:09
@AraHaan AraHaan requested a review from a team as a code owner July 23, 2021 09:09
@mergify mergify bot added the automerge Tells the github actions that this pull request is ready for auto merge. label Jul 23, 2021
@mergify
Copy link

mergify bot commented Jul 23, 2021

This pull request is about to be automerged.

Copy link

@mergify mergify bot left a comment

Choose a reason for hiding this comment

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

Automatically approving since automerge label was found.

@AraHaan AraHaan merged commit bbf88c9 into main Jul 23, 2021
@AraHaan AraHaan deleted the treat-warnings-as-errors branch July 23, 2021 09:12
@mergify mergify bot removed the automerge Tells the github actions that this pull request is ready for auto merge. label Jul 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant