fork of https://github.com/sourcegraph/zoekt
gha: fix images not being pushed (#587)
author
Jean-Hadrien Chabran
committer
GitHub
date
(May 24, 2023, 3:34 PM +0200)
commit
579a9a1e
579a9a1eb19ba5fe412d8693a3fdd87b19ebd09c
parent
8c4dead1
8c4dead195ae771009c5accf2fb5d8740f4031ef
+3
-2
+3
-2
.github/workflows/ci.yml
+3
-2
.github/workflows/ci.yml
···
81
81
#
82
82
# While we run this job on main and PRs, the actual push is only done on the main branch.
83
83
docker:
84
+
if: github.ref == 'refs/heads/main'
84
85
runs-on: ubuntu-latest
85
86
needs:
86
87
- "test"
···
137
138
tags: sourcegraph/zoekt-webserver:${{ steps.version.outputs.value }}, ${{ steps.meta-webserver.outputs.tags }}, sourcegraph/zoekt-webserver:latest
138
139
file: Dockerfile.webserver
139
140
cache-from: sourcegraph/zoekt-webserver:latest
140
-
push: "${{ github.branch == 'main' }}"
141
+
push: true
141
142
142
143
- name: build-push-indexserver
143
144
uses: docker/build-push-action@v4
···
146
147
tags: sourcegraph/zoekt-indexserver:${{ steps.version.outputs.value }}, ${{ steps.meta-indexserver.outputs.tags }}, sourcegraph/zoekt-indexserver:latest
147
148
file: Dockerfile.indexserver
148
149
cache-from: sourcegraph/zoekt-indexserver:latest
149
-
push: "${{ github.branch == 'main' }}"
150
+
push: true