added Continuous Integration Documentation labels
added priority:Normal label
assigned to @douardda
Consider it closed by c798a041db58
There are still many inconsistenciesm especially regarding the Google style dosctrings we use thanks to sphinx.ext.napoleon plugin, but it's way harder to check...
closed