message: CI: Show coverage badge.
diff: @@ -10,3 +10,5 @@ check:x86_64-trusty-gcc4:
  script:
  - pip3 install -r requirements.txt coverage
  - src/bin/drake . --workdir _build --coverage=true
  + - cd _build && coverage report
  + coverage: '/TOTAL.+ ([0-9]{1,3}%)/'
  