Disable InferBear

[jayvdb]

Due to #2664 completely failing now, a quick workaround is to disable the opam & infer, so that travis CI doesnt try to set up the pre-reqs, and so that the coverage is still 100%

[sladyn98]

One possible way would be:

1. Remove opam under packages in the travis.yml so that i does not build.
2. Remove .ci/deps.opam.sh under before_install.
3. Remove - ~/infer-linux64-v$INFER_VERSION Under installed linters which would thereby make the path redundant.Correct me if i am wrong on this one.

[jayvdb]

That will fail the 100% coverage requirement.

[sladyn98]

Would adding them in the omit section of setup.cfg be a step in the right direction.Because then travis would not consider them for the test coverage.

[jayvdb]

setup.cfg is a generated file.

[sladyn98]

Executing Step 2 in the above comment would be one step taken in the right direction according to me.Because that is where the error is.

[jayvdb]

You need to have green CI. Otherwise we have another error.

[sladyn98]

Should I try submitting a PR and checking or should I try it locally.

[jayvdb]

You havent indicated you know how to solve the 100% coverage part of the problem mentioned as part of this issue.

Until you know how to solve this problem properly, I am not assigning it to you.

[sladyn98]

Hey @jayvdb, I googled a bit and i found this ocaml/dune#567. It be a problem with the broken ocaml version.