Change zoekt-ci-image to main repo using SHA

We choose a SHA here as this repo does not contain any useable tags and
it does not seem that they keep tagged versions. Tracking master would
probably be too risky as backwards incompatible changes could come up
and break our CI environment which would be quite time consuming to
debug.
This commit is contained in:
Dylan Griffith 2023-02-06 13:11:02 +11:00
parent 338a0a7924
commit 6e7039e976

View file

@ -4,9 +4,12 @@ WORKDIR /usr/src/app
RUN apt-get update && apt-get install -y universal-ctags git
RUN git clone https://github.com/DylanGriffith/zoekt.git
RUN cd /usr/src/app/zoekt && git checkout dynamic-indexserver-api && go install github.com/sourcegraph/zoekt/cmd/zoekt-dynamic-indexserver && go install github.com/sourcegraph/zoekt/cmd/zoekt-git-clone && go install github.com/sourcegraph/zoekt/cmd/zoekt-git-index
RUN cd /usr/src/app/zoekt && git checkout search-api-with-reposbranches-filter && go install github.com/sourcegraph/zoekt/cmd/zoekt-webserver
ENV ZOEKT_VERSION=c08faec66fc26a41007b2176fbea86c52b0efe4b
RUN go install github.com/sourcegraph/zoekt/cmd/zoekt-webserver@$ZOEKT_VERSION && \
go install github.com/sourcegraph/zoekt/cmd/zoekt-git-clone@$ZOEKT_VERSION && \
go install github.com/sourcegraph/zoekt/cmd/zoekt-git-index@$ZOEKT_VERSION && \
go install github.com/sourcegraph/zoekt/cmd/zoekt-dynamic-indexserver@$ZOEKT_VERSION
COPY assets/zoekt-ci-image/run-zoekt-servers run-zoekt-servers