5 Commits (35ac57c378dc036e6a958a6199e1ca533aede6ec)

Author SHA1 Message Date
Jules Villard 53f5c2ef13 [travis] use ./build-infer.sh to build infer
8 years ago
Sam Blackshear 96727152f3 [CI] install aspcud on travis
8 years ago
Jules Villard 68d6f73142 ocaml 4.04.0
8 years ago
Jules Villard ed79d550d2 [travis] use new reason version
8 years ago
Jules Villard 8796f2c7ef add travis CI
9 years ago