Skip to content

gh-109408: Run patchcheck in GitHub Actions #109459

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.

Sign up for GitHub

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

Closed
sobolevn wants to merge 13 commits into from
Closed

gh-109408: Run patchcheck in GitHub Actions #109459

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
fd695d5
gh-109408: Run `patchcheck` in GitHub Actions
sobolevn Sep 15, 2023
7bc1997
try to fix ci
sobolevn Sep 15, 2023
86622a8
try to fix ci
sobolevn Sep 15, 2023
47da9c3
try to fix ci
sobolevn Sep 15, 2023
073d8ee
try to fix ci
sobolevn Sep 15, 2023
3c0630f
try to fix ci
sobolevn Sep 15, 2023
dbdc48a
try to fix ci
sobolevn Sep 15, 2023
c6e2717
try to fix ci
sobolevn Sep 15, 2023
375cff9
debug
sobolevn Sep 15, 2023
89ff09e
Run patchcheck as a part of "Check generated files" job
sobolevn Sep 15, 2023
703be97
Use `make`
sobolevn Sep 15, 2023
0f33871
Try without `git fetch origin`
sobolevn Sep 16, 2023
e630416
Return `git fetch origin` back
sobolevn Sep 16, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
debug
  • Loading branch information
@sobolevn
sobolevn committed Sep 15, 2023
commit 375cff963fee6341f0cc793500f2a8e53f8b147b
2 changes: 2 additions & 0 deletions Tools/patchcheck/patchcheck.py
View file
Open in desktop
Comment thread
sobolevn marked this conversation as resolved.
Original file line number Diff line number Diff line change
Expand Up @@ -99,6 +99,7 @@ def get_git_remote_default_branch(remote_name):
info=lambda x: x if x is not None else "not a PR branch")
def get_base_branch():
if not os.path.exists(os.path.join(SRCDIR, '.git')):
print('No', SRCDIR)
# Not a git checkout, so there's no base branch
return None
upstream_remote = get_git_upstream_remote()
Expand All @@ -108,6 +109,7 @@ def get_base_branch():
else:
base_branch = "{0.major}.{0.minor}".format(version)
this_branch = get_git_branch()
print(locals())
if this_branch is None or this_branch == base_branch:
# Not on a git PR branch, so there's no base branch
return None
Expand Down