fork of https://github.com/sourcegraph/zoekt
Update "ci" worflow (#586)
author
Jean-Hadrien Chabran
committer
GitHub
date
(May 24, 2023, 2:50 PM +0200)
commit
a1afc5d0
a1afc5d070ac0d1814ebe1427855a6b02e5ec47e
parent
47f830cc
47f830cc0af0b7340aa68907d8c7b81929ff9d19
+47
-20
+47
-20
.github/workflows/ci.yml
+47
-20
.github/workflows/ci.yml
···
78
78
79
79
# We build a shared docker image called "zoekt". This is not pushed, but is
80
80
# used for creating the indexserver and webserver images.
81
+
#
82
+
# While we run this job on main and PRs, the actual push is only done on the main branch.
81
83
docker:
82
-
if: github.ref == 'refs/heads/main'
83
84
runs-on: ubuntu-latest
84
85
needs:
85
86
- "test"
···
92
93
id: version
93
94
run: .github/workflows/docker-version.sh
94
95
96
+
- name: docker-meta-webserver
97
+
id: meta-webserver
98
+
uses: docker/metadata-action@v3
99
+
with:
100
+
images: |
101
+
sourcegraph/zoekt-webserver
102
+
tags: |
103
+
type=ref,event=branch
104
+
type=ref,event=pr
105
+
type=semver,pattern={{version}}
106
+
type=sha
107
+
- name: docker-meta-indexserver
108
+
id: meta-indexserver
109
+
uses: docker/metadata-action@v3
110
+
with:
111
+
images: |
112
+
sourcegraph/zoekt-indexserver
113
+
tags: |
114
+
type=ref,event=branch
115
+
type=ref,event=pr
116
+
type=semver,pattern={{version}}
117
+
type=sha
118
+
95
119
- name: build-zoekt
96
-
uses: docker/build-push-action@v1
120
+
uses: docker/build-push-action@v4
97
121
with:
98
-
repository: zoekt
99
-
tags: "latest"
100
-
add_git_labels: "true"
122
+
context: .
123
+
tags: "zoekt:latest"
101
124
push: "false"
102
-
build_args: VERSION=${{ steps.version.outputs.value }}
125
+
build-args: VERSION=${{ steps.version.outputs.value }}
126
+
127
+
- name: Login to Docker Hub
128
+
uses: docker/login-action@v2
129
+
with:
130
+
username: ${{ secrets.DOCKERHUB_USERNAME }}
131
+
password: ${{ secrets.DOCKERHUB_TOKEN }}
103
132
104
133
- name: build-push-webserver
105
-
uses: docker/build-push-action@v1
134
+
uses: docker/build-push-action@v4
106
135
with:
107
-
repository: sourcegraph/zoekt-webserver
108
-
tags: ${{ steps.version.outputs.value }},latest
109
-
dockerfile: Dockerfile.webserver
110
-
add_git_labels: "true"
111
-
username: ${{ secrets.DOCKER_USERNAME }}
112
-
password: ${{ secrets.DOCKER_PASSWORD }}
136
+
context: .
137
+
tags: sourcegraph/zoekt-webserver:${{ steps.version.outputs.value }}, ${{ steps.meta-webserver.outputs.tags }}, sourcegraph/zoekt-webserver:latest
138
+
file: Dockerfile.webserver
139
+
cache-from: sourcegraph/zoekt-webserver:latest
140
+
push : "${{ github.branch == 'main' }}"
113
141
114
142
- name: build-push-indexserver
115
-
uses: docker/build-push-action@v1
143
+
uses: docker/build-push-action@v4
116
144
with:
117
-
repository: sourcegraph/zoekt-indexserver
118
-
tags: ${{ steps.version.outputs.value }},latest
119
-
dockerfile: Dockerfile.indexserver
120
-
add_git_labels: "true"
121
-
username: ${{ secrets.DOCKER_USERNAME }}
122
-
password: ${{ secrets.DOCKER_PASSWORD }}
145
+
context: .
146
+
tags: sourcegraph/zoekt-indexserver:${{ steps.version.outputs.value }}, ${{ steps.meta-indexserver.outputs.tags }}, sourcegraph/zoekt-indexserver:latest
147
+
file: Dockerfile.indexserver
148
+
cache-from: sourcegraph/zoekt-indexserver:latest
149
+
push : "${{ github.branch == 'main' }}"