fix process replay race on push (#37643)

2026-07-07 14:42:08 +08:00 · 2026-03-10 20:27:40 -07:00
parent d3bcc80d28
commit 3584523a93
1 changed files with 1 additions and 1 deletions
@@ -164,7 +164,7 @@ jobs:
        echo "${{ github.sha }}" > ref_commit
        git add .
        git commit -m "process-replay refs for ${{ github.repository }}@${{ github.sha }}" || echo "No changes to commit"
-        git push origin process-replay
+        git push origin process-replay --force
    - name: Run regen
      if: false
      timeout-minutes: 4