fork of https://github.com/sourcegraph/zoekt
ci: remove sync-zoekt step (#621)
This step currently generates incomplete PRs since it hasn't been
updated to handle bazel yet. I'm unsure how to make it do that, so I'd
rather just remove it for now and add it back once we want to do that.
Test Plan: CI
author
Keegan Carruthers-Smith
committer
GitHub
date
(Jul 18, 2023, 10:43 AM +0200)
commit
1d71fd02
1d71fd02269063322b1636affdbe8d9d45ffce68
parent
34f694c3
34f694c386f2e9c6c71a0333cdf994c95936e899
-48
-48
.github/workflows/ci.yml
-48
.github/workflows/ci.yml
···
146
146
file: Dockerfile.indexserver
147
147
cache-from: sourcegraph/zoekt-indexserver:latest
148
148
push: true
149
-
150
-
# We can only run this after a successful docker push otherwise the CI in sourcegraph will fail.
151
-
sync-zoekt:
152
-
if: github.ref == 'refs/heads/main'
153
-
runs-on: ubuntu-latest
154
-
needs:
155
-
- "docker"
156
-
steps:
157
-
- uses: actions/checkout@v3
158
-
with:
159
-
repository: 'sourcegraph/sourcegraph'
160
-
ref: 'main'
161
-
- uses: actions/setup-go@v2
162
-
with: { go-version: '1.19' }
163
-
- run: go mod download
164
-
- run: ./dev/zoekt/update
165
-
- uses: peter-evans/create-pull-request@v3
166
-
if: github.event_name == 'push'
167
-
name: 'Create PR'
168
-
id: pr
169
-
with:
170
-
token: ${{ secrets.GH_TOKEN }}
171
-
title: 'zoekt: update to sourcegraph/zoekt@${{ github.sha }}'
172
-
commit-message: 'zoekt: update to sourcegraph/zoekt@${{ github.sha }}'
173
-
body: |
174
-
This PR is autogenerated to update to sourcegraph/zoekt@${{ github.sha }}
175
-
176
-
## Test Plan
177
-
178
-
Testing is done on the zoekt repo. All checks on this PR are sufficient.
179
-
180
-
branch: 'zoekt/update'
181
-
delete-branch: 'true'
182
-
team-reviewers: 'search-team'
183
-
base: 'main'
184
-
185
-
- name: 'Check PR outputs'
186
-
run: |
187
-
echo "Pull Request Number - ${{ steps.pr.outputs.pull-request-number }}"
188
-
echo "Pull Request URL - ${{ steps.pr.outputs.pull-request-url }}"
189
-
- uses: peter-evans/enable-pull-request-automerge@v1
190
-
name: Enable Pull Request Automerge
191
-
if: steps.pr.outputs.pull-request-operation == 'created'
192
-
with:
193
-
token: ${{ secrets.GH_TOKEN }}
194
-
pull-request-number: ${{ steps.pr.outputs.pull-request-number }}
195
-
merge-method: squash
196
-
repository: 'sourcegraph/sourcegraph'