[Github] Add OpenMP docs to Github docs action (#70529)
This patch enables building the openmp documentation through Github actions during PRs and at tip of tree to ensure that the documentation builds and that there aren't any Sphinx warnings in a manner that enables more rapid developer iteration without having to install documentation tooling.
parent
5eb65ca8
Please register or sign in to comment