File tree Expand file tree Collapse file tree 3 files changed +20
-2
lines changed Expand file tree Collapse file tree 3 files changed +20
-2
lines changed Original file line number Diff line number Diff line change @@ -245,4 +245,4 @@ jobs:
245
245
246
246
- name : Delete Branch
247
247
shell : bash
248
- run : git push origin --delete ${{ github.event.pull_request.head.ref }}
248
+ run : git push origin --delete ${{ github.event.pull_request.head.ref }} || true
Original file line number Diff line number Diff line change 97
97
gh-delete-submodule-branches :
98
98
name : ' GitHub: Delete Submodule Branch'
99
99
needs : [call-dc-registry-delete]
100
- if : ${{ !failure() }}
100
+ if : ${{ !failure() && github.run_attempt == 1 }}
101
101
runs-on : ubuntu-latest
102
102
steps :
103
103
- name : Checkout repository
Original file line number Diff line number Diff line change 65
65
-d "${{ env.DOCKERFILE }}" \
66
66
-h "${{ env.HEAD_REF }}"
67
67
68
+ if [ -f "dev.${{ env.DOCKERFILE }}" ]; then
69
+ bash ${{ github.workspace }}/cicd-deployment-scripts/pi/edit_dockerfile.sh \
70
+ -i "${{ env.PARENT_IMAGE_NAME }}" \
71
+ -l "${{ env.HEAD_REF }}" \
72
+ -r "${{ env.DOCKERHUB_CONTAINER_REGISTRY }}" \
73
+ -d "dev.${{ env.DOCKERFILE }}" \
74
+ -h "${{ env.HEAD_REF }}"
75
+ fi
76
+
77
+ if [ -f "gpu.${{ env.DOCKERFILE }}" ]; then
78
+ bash ${{ github.workspace }}/cicd-deployment-scripts/pi/edit_dockerfile.sh \
79
+ -i "${{ env.PARENT_IMAGE_NAME }}" \
80
+ -l "${{ env.HEAD_REF }}" \
81
+ -r "${{ env.DOCKERHUB_CONTAINER_REGISTRY }}" \
82
+ -d "gpu.${{ env.DOCKERFILE }}" \
83
+ -h "${{ env.HEAD_REF }}"
84
+ fi
85
+
68
86
git config user.email "devtools@kern.ai"
69
87
git config user.name "GitHub Actions"
70
88
You can’t perform that action at this time.
0 commit comments