From 85dd0961dddeb8cfc4810e7271e210c22f8a6fcd Mon Sep 17 00:00:00 2001
From: Yuxuan Shui <yshuiv7@gmail.com>
Date: Thu, 21 Mar 2019 22:14:53 +0000
Subject: [PATCH] ci: upload code coverage

Signed-off-by: Yuxuan Shui <yshuiv7@gmail.com>
---
 .circleci/config.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index afc0e9a9..ed8d732f 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -43,7 +43,7 @@ jobs:
     executor: e
     steps:
       - build:
-          build-config: -Dbuild_docs=true
+          build-config: -Dbuild_docs=true -Db_coverage=true
       - persist_to_workspace:
           root: .
           paths:
@@ -56,6 +56,10 @@ jobs:
       - run:
           name: test
           command: ninja -vC /tmp/workspace/build test
+      - run:
+          name: upload coverage
+          command: bash <(curl -s https://codecov.io/bash)
+
   minimal:
     executor: e
     steps: