CI: Travis configuration for OSX

pdonadeo · Oct 26, 2019 · 90da009 · 90da009
1 parent b7cb212
commit 90da009
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -6,3 +6,4 @@ env:
   - OCAML_VERSION=4.08
 os:
   - linux
+  - osx