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
Move commit checker from Azure Pipelines to Github Actions #7943
Conversation
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.
Minor things, more style; lgtm otherwise
Running version here |
1451a5f
to
0788c5f
Compare
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.
I found a way to get all the PR commits. First step is to get the latest commit of target branch. Then we can get commits only in the merge. Finally the commit check is done for the relevant commits.
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! Let's fix things when we find cases where it breaks :D
Basic workflow but logs should be less hidden and easier to read.
It can probably be improved with annotations and other stuff.