diff --git a/.github/workflows/proof-deploy.yml b/.github/workflows/proof-deploy.yml
index 9c1852bc5..4a6afe1f2 100644
--- a/.github/workflows/proof-deploy.yml
+++ b/.github/workflows/proof-deploy.yml
@@ -101,4 +101,4 @@ jobs:
     - name: Push
       run: |
         cd l4v-${{ matrix.branch }}
-        git push -f origin HEAD:${{ matrix.branch }}
+        git push -f origin HEAD:${{ matrix.branch }}-rebased