adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

github: push to -rebased branch first 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-06-06 10:10:22 +10:00 committed by Gerwin Klein
parent 9fe16760b7
commit 6f2ea86752
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/proof-deploy.yml vendored
View File

@ -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