Ander Conselvan de Oliveira 7bac0c7cba [build] Check documentation coverage on CI ...

Add a CI target that checks documentation coverage and reports back to
github. While at it, change the output of doxy-coverage to a json file
so it is easy to consume.

2019-03-13 15:06:56 +02:00

5.7 KiB

Executable File

Raw Blame History

View Raw