Upgrade infer

Closes coala#2931
bailey-coding · Oct 18, 2022 · 9587464 · 9587464
1 parent 7d21a59
commit 9587464
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.ci/deps.opam.sh b/.ci/deps.opam.sh
@@ -6,10 +6,10 @@ set -x
 .ci/deps.python27.sh
 
 # Infer commands
-if [ ! -e ~/infer-linux64-v0.7.0/infer/bin ]; then
-  wget -nc -O ~/infer.tar.xz https://github.com/facebook/infer/releases/download/v0.7.0/infer-linux64-v0.7.0.tar.xz
+if [ ! -e ~/infer-linux64-v1.1.0/infer/bin ]; then
+  wget -nc -O ~/infer.tar.xz https://github.com/facebook/infer/releases/download/v1.1.0/infer-linux64-v1.1.0.tar.xz
   tar xf ~/infer.tar.xz -C ~/
-  cd ~/infer-linux64-v0.7.0
+  cd ~/infer-linux64-v1.1.0
   opam init --y
   opam update
 

diff --git a/.travis.yml b/.travis.yml
@@ -555,7 +555,7 @@ jobs:
       language: generic
       env:
         BEARS="opam"
-        INFER_VERSION="0.7.0"
+        INFER_VERSION="1.1.0"
         PATH="$PATH:$HOME/infer-linux64-v$INFER_VERSION/infer/bin"
       addons:
         apt: