ci: build doxygen doc without full-ci label
Follows up #8194 NO_CHANGELOG=ci NO_DOC=ci NO_TEST=ci (cherry picked from commit 07d686dc)
Please register or sign in to comment
Follows up #8194 NO_CHANGELOG=ci NO_DOC=ci NO_TEST=ci (cherry picked from commit 07d686dc)