RemoveGCCCoverage #3

Merged
rboullard merged 8 commits from RemoveGCCCoverage into main 2026-01-29 21:50:46 +00:00
Showing only changes of commit 4e761aac65 - Show all commits

View File

@@ -47,6 +47,11 @@ RUN apt-get update && apt-get install -y \
# Reset ccache stats
&& ccache --zero-stats
RUN VERSION=1.2.0; \
curl -sSL "https://github.com/facebook/infer/releases/download/v$VERSION/infer-linux64-v$VERSION.tar.xz" \
| sudo tar -C /opt -xJ && \
sudo ln -s "/opt/infer-linux64-v$VERSION/bin/infer" /usr/local/bin/infer
# Install pipx and Conan
RUN pipx ensurepath \
&& pipx install conan