diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index cbe5c841a433cf..0aaccb6d8bcefe 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -143,6 +143,11 @@ jobs: make regen-deepfreeze make -j4 regen-all make regen-stdlib-module-names + - name: Run patchcheck + if: github.event_name == 'pull_request' + run: | + git fetch origin + make ARGS="--ci true" patchcheck - name: Check for changes run: | git add -u diff --git a/Makefile.pre.in b/Makefile.pre.in index ba35e1b563ce26..853dbf946dd12c 100644 --- a/Makefile.pre.in +++ b/Makefile.pre.in @@ -2764,7 +2764,7 @@ funny: # Perform some verification checks on any modified files. .PHONY: patchcheck patchcheck: all - $(RUNSHARED) ./$(BUILDPYTHON) $(srcdir)/Tools/patchcheck/patchcheck.py + $(RUNSHARED) ./$(BUILDPYTHON) $(srcdir)/Tools/patchcheck/patchcheck.py $(ARGS) .PHONY: check-limited-abi check-limited-abi: all