Closed chloelbn closed 3 years ago
Migrate CI from Travis to CircleCI
This has been done in 168ad55cd68f05ad602dc15e20b8197751f73e46
Migrate CI from Travis to CircleCI