File tree 2 files changed +4
-4
lines changed 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 6
6
.ci/deps.python27.sh
7
7
8
8
# Infer commands
9
- if [ ! -e ~ /infer-linux64-v0.7 .0/infer/bin ]; then
10
- wget -nc -O ~ /infer.tar.xz https://github.com/facebook/infer/releases/download/v0.7 .0/infer-linux64-v0.7 .0.tar.xz
9
+ if [ ! -e ~ /infer-linux64-v1.1 .0/infer/bin ]; then
10
+ wget -nc -O ~ /infer.tar.xz https://github.com/facebook/infer/releases/download/v1.1 .0/infer-linux64-v1.1 .0.tar.xz
11
11
tar xf ~ /infer.tar.xz -C ~ /
12
- cd ~ /infer-linux64-v0.7 .0
12
+ cd ~ /infer-linux64-v1.1 .0
13
13
opam init --y
14
14
opam update
15
15
Original file line number Diff line number Diff line change @@ -555,7 +555,7 @@ jobs:
555
555
language : generic
556
556
env :
557
557
BEARS="opam"
558
- INFER_VERSION="0.7 .0"
558
+ INFER_VERSION="1.1 .0"
559
559
PATH="$PATH:$HOME/infer-linux64-v$INFER_VERSION/infer/bin"
560
560
addons :
561
561
apt :
You can’t perform that action at this time.
0 commit comments