From ac19528934b818ec2cca8335492d57ff5a37c274 Mon Sep 17 00:00:00 2001 From: Romain BOULLARD Date: Tue, 1 Sep 2026 13:00:09 +0000 Subject: [PATCH] Infer Update (#3) Co-authored-by: Romain BOULLARD --- Linux/CPPBuilder/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Linux/CPPBuilder/Dockerfile b/Linux/CPPBuilder/Dockerfile index d908bad..41cbe2b 100644 --- a/Linux/CPPBuilder/Dockerfile +++ b/Linux/CPPBuilder/Dockerfile @@ -22,7 +22,7 @@ RUN wget https://apt.llvm.org/llvm.sh -O /tmp/llvm.sh \ && rm -f /tmp/llvm.sh* # Install Infer -RUN VERSION=1.2.0; \ +RUN VERSION=1.3.0; \ curl -sSL "https://github.com/facebook/infer/releases/download/v$VERSION/infer-linux-x86_64-v$VERSION.tar.xz" \ | tar -C /opt -xJ && \ ln -s "/opt/infer-linux-x86_64-v$VERSION/bin/infer" /usr/bin/infer