-
Notifications
You must be signed in to change notification settings - Fork 256
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
ci: Have coverity workflow run against PR code #7828
base: master
Are you sure you want to change the base?
ci: Have coverity workflow run against PR code #7828
Conversation
@justin-stephenson, please set backport-to labels. |
Done. |
So that we all understand the purpose of this PR. What you want is checks out the head branch of the pull request, instead of the base branch where the changes are intended to land. Am I right? |
Yes that's correct, it is a side effect of using |
Can you update the commit message to make this obvious? It'd make everything easier to understand. |
Checkout the head of the pull request code instead of the target branch, this is needed when using `pull_request_target` workflow.
5279f2f
to
3ab7f85
Compare
Sure no problem, done. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ACK
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM! Thanks for adding the explanation.
No description provided.