boltless.me / zoekt
fork of https://github.com/sourcegraph/zoekt
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

Fix typo in GHA

author
Jean-Hadrien Chabran date (May 24, 2023, 3:00 PM +0200) commit 8c4dead1 parent a1afc5d0
+2 -2
+2 -2
.github/workflows/ci.yml
··· 137 137 tags: sourcegraph/zoekt-webserver:${{ steps.version.outputs.value }}, ${{ steps.meta-webserver.outputs.tags }}, sourcegraph/zoekt-webserver:latest 138 138 file: Dockerfile.webserver 139 139 cache-from: sourcegraph/zoekt-webserver:latest 140 - push : "${{ github.branch == 'main' }}" 140 + push: "${{ github.branch == 'main' }}" 141 141 142 142 - name: build-push-indexserver 143 143 uses: docker/build-push-action@v4 ··· 146 146 tags: sourcegraph/zoekt-indexserver:${{ steps.version.outputs.value }}, ${{ steps.meta-indexserver.outputs.tags }}, sourcegraph/zoekt-indexserver:latest 147 147 file: Dockerfile.indexserver 148 148 cache-from: sourcegraph/zoekt-indexserver:latest 149 - push : "${{ github.branch == 'main' }}" 149 + push: "${{ github.branch == 'main' }}"