summaryrefslogtreecommitdiff
path: root/.circleci/config.yml
Commit message (Expand)AuthorAgeFilesLines
...
* update:doc:Build doxygen doc and push the result to a gh-pages branch (#354)Joseph Herlant2017-10-291-0/+34
* Revert last commit.Pierre Grandin2017-09-201-0/+9
* Coverity upgrade (#313)Pierre GRANDIN2017-09-161-10/+6
* Upgrade to CircleCI v2 (#310)Pierre GRANDIN2017-09-051-0/+107