Something went wrong on our end
-
Mulas, Giacomo authored
change slightly the pipeline script to only attempt to compile latex if the previous doxygen stage worked without errors
Mulas, Giacomo authoredchange slightly the pipeline script to only attempt to compile latex if the previous doxygen stage worked without errors
