diff --git a/.circleci/config.yml b/.circleci/config.yml index 1a7c239..186c49f 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -15,6 +15,7 @@ jobs: OPAMJOBS: 2 OPAMVERBOSE: 1 OPAMYES: true + OPAMWITHTEST: true TERM: xterm steps: - checkout