Subject: [boost] About authorizing CircleCI
From: Vicente J. Botet Escriba (vicente.botet_at_[hidden])
Date: 2018-03-06 17:40:08
Hi, recently I heard of CircleCI (https://circleci.com/) and it seems
much faster than Travis.
Is someone using it? What is your feedback?
If the feedback is positive, could someone authorize CircleCI to access
boostorg?
Best,
Vicente