This repository was archived by the owner on Oct 31, 2023. It is now read-only.

Fix CI build - #137

Open

douglasrizzo wants to merge 4 commits into

facebookresearch:mainfrom

douglasrizzo:fix_ci

Commits on Nov 6, 2019

multiple tests on travis ci
douglasrizzo
committed
7c1794b
multiple tests on travis ci
douglasrizzo
committed
9c14562
Merge remote-tracking branch 'origin/fix_ci' into fix_ci
douglasrizzo
committed
5ddaa69

Commits on Nov 7, 2019

ignore compilation of projects that are not meant to be compiled for now
douglasrizzo
committed
9e7e78b