From 8133f28ee43e4ef125afbbef1ee0a24524404739 Mon Sep 17 00:00:00 2001 From: matteosilv Date: Fri, 19 May 2023 12:16:00 +0100 Subject: [PATCH] adding src cli to Dockerfile --- Dockerfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Dockerfile b/Dockerfile index 48f2a1d..262e925 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,3 +1,5 @@ FROM golang:1.20.3@sha256:bcc311ec9655c350df3899611fdf134806f97a3e3b2c06c2b5c0696428503814 +RUN curl -L https://sourcegraph.com/.api/src-cli/src_linux_amd64 -o /usr/bin/src && chmod +x /usr/bin/src + COPY scip-go /usr/bin/