docs: fix validate-docs on push

google · Jan 21, 2025 · bfaf3fb · bfaf3fb
1 parent bba254b
commit bfaf3fb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/presubmit.yml b/.github/workflows/presubmit.yml
@@ -86,7 +86,8 @@ jobs:
           fetch-depth: 0
       - name: Check for manual edits to /docs
         run: |
-          bash docs_src/build/presubmit_check.sh ${{ github.event.pull_request.head.sha }}
+          # Note that at least one of "pull_request" and "push" events must be present.
+          bash docs_src/build/presubmit_check.sh ${{ github.event.pull_request.head.sha }} ${{ github.event.push.head.sha }}
 
   test-renderdiff:
     name: test-renderdiff