diff --git a/workbench/Dockerfile b/workbench/Dockerfile index ca375c73de2e844f922fe8fbe7dd71f25dc7bab0..c99dfaf1c84f48bff0da6c80cf4569ec8e8fc31b 100644 --- a/workbench/Dockerfile +++ b/workbench/Dockerfile @@ -5,6 +5,7 @@ RUN curl https://github.com/duckdb/duckdb/releases/download/v1.0.0/duckdb_cli-li unzip /tmp/duckdb.zip duckdb -d /tmp/ && \ install -m 755 -o root -g root /tmp/duckdb /usr/local/bin/duckdb + # hadolint ignore=DL3007 FROM registry.shore.co.il/toolbx:latest COPY --from=temp /usr/local/bin/duckdb /usr/local/bin/