[docker] revert accidentally bumped infer version

Summary: The version of infer in that file shouldn't be bumped until the release has been published on GitHub.

Reviewed By: jberdine

Differential Revision: D4810275

fbshipit-source-id: 1edd111
master
Jules Villard 8 years ago committed by Facebook Github Bot
parent 6d2a88ed64
commit 93c3758717

@ -45,7 +45,7 @@ RUN VERSION=1.2.2; \
RUN opam init -y --comp=4.02.3
# Download the latest Infer release
RUN INFER_VERSION=v0.11.0; \
RUN INFER_VERSION=v0.10.0; \
cd /opt && \
curl -sL \
https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \

Loading…
Cancel
Save