Update CI - Githubissues

humanoid-path-planner / hpp-doc

Documentation for project Humanoid Path Planner

https://humanoid-path-planner.github.io/hpp-doc

ISC License

30 stars 23 forks source link

Update CI #27

Closed nim65s closed 6 years ago

nim65s commented 6 years ago

Hi,

This PR:

Update the docker image generation documentation and Dockerfiles
Remove latex & gs, to let doxygen use MathJax to be faster
Allow the CI to be ran on other namespaces than humanoid-path-planner
Ensure that the Makefile stops on errors

nim65s commented 6 years ago

This leads to the pipeline : https://gepgitlab.laas.fr/gsaurel/hpp-doc/pipelines/1432

jmirabel commented 6 years ago

I did not check carefully but it seems good to me.