Fix lint

DeFiCh · Dec 21, 2023 · 7a07314 · 7a07314
1 parent 5d6cf52
commit 7a07314
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ain-builder/Dockerfile b/ain-builder/Dockerfile
@@ -44,6 +44,7 @@ RUN wget --progress=dot:giga -O - "https://apt.llvm.org/llvm.sh" | bash -s ${CLA
 RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- \
         --default-toolchain="${RUST_DEFAULT_VERSION}" -y
 
+# hadolint ignore=DL4001
 RUN curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg | \
         dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg && \
         chmod go+r /usr/share/keyrings/githubcli-archive-keyring.gpg