Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Move README.ci to markdown | Théo Zimmermann | 2017-06-02 |
* | Gitlab CI | Gaëtan Gilbert | 2017-05-28 |
* | [travis] Move ci files from `tools` to `dev`. | Maxime Dénès | 2017-02-07 |
* | [travis] Improvements to main script | Emilio Jesus Gallego Arias | 2017-02-07 |