We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8e40fbe commit 49d97e9Copy full SHA for 49d97e9
.github/workflows/pi_merge_submodule.yml
@@ -54,6 +54,8 @@ jobs:
54
git config user.email "devtools@kern.ai"
55
git config user.name "GitHub Actions"
56
57
+ git submodule update --remote --merge || true
58
+
59
git add submodules
60
git commit -m "ci: update submodules to origin/${{ github.event.pull_request.base.ref }}" || true
61
git push origin ${{ github.event.pull_request.base.ref }}
@@ -92,4 +94,4 @@ jobs:
92
94
93
95
- name: Delete Branch
96
shell: bash
- run: git push origin --delete ${{ github.event.pull_request.head.ref }}
97
+ run: git push origin --delete ${{ github.event.pull_request.head.ref }} || true
0 commit comments