Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Circle CI: enable TIMED for external developments | Gaëtan Gilbert | 2017-12-13 |
* | Circle CI: use cache for opam | Gaëtan Gilbert | 2017-12-13 |
* | Circle CI: enable native compiler. | Gaëtan Gilbert | 2017-12-13 |
* | Near-full implementation of Circle CI. | Gaëtan Gilbert | 2017-12-12 |
* | CI: poc Circleci configuration | Arnaud Spiwack | 2017-12-11 |