Add a doxygen ci check
@@ -48,6 +48,11 @@ jobs:
echo "Excerpt of the diff follows"
git diff | head -n 20
fi
+ - run: >
+ if doxygen Doxyfile | grep 'warning: '; then
+ echo "Doxygen warning (see above) -- misformatted docs?"
+ exit 1
+ fi
- run: >
cd doc &&
pip3 install -r source/requirements.txt &&
