Infer Update (#3)
Docker Builders / build-base-builder (push) Successful in 20s
Docker Builders / build-cpp-builder (push) Successful in 3m26s

Co-authored-by: Romain BOULLARD <romain.boullard@protonmail.com>
This commit was merged in pull request #3.
This commit is contained in:
2026-09-01 13:00:09 +00:00
committed by rboullard
parent 610b8d6058
commit ac19528934
+1 -1
View File
@@ -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