Add sphinx to CI
It also adds a new continuous build that builds the doxygen page and sphinx user guide in every merge-request.
Edited by Vicente Bolea
System updates will be applied on Nov 25th between 7am and 9am, EST (UTC-05:00). This site will have intermittent downtime during that time.
It also adds a new continuous build that builds the doxygen page and sphinx user guide in every merge-request.