2 Commits (4319b08e7736c3ff0f2d16aa8dc6e588123d5737)

Author	SHA1	Message	Date
Jules Villard	f915564f52	fix permission of test scripts ... Summary: Somehow I checked them in without the executable bit set... Reviewed By: cristianoc Differential Revision: D3457820 fbshipit-source-id: 83c3d13	9 years ago
Jules Villard	8796f2c7ef	add travis CI ... Summary: Add a Travis file that builds Infer via opam. Will add docker soon. Reviewed By: cristianoc Differential Revision: D3444060 fbshipit-source-id: 11432da	9 years ago