-
Brad King authored
The Sphinx build is mostly serial and takes a long time. All our CI pipelines (packaging, integration branches, merge requests) have a dedicated job for the Sphinx build.
9b5eae9c
The Sphinx build is mostly serial and takes a long time. All our CI pipelines (packaging, integration branches, merge requests) have a dedicated job for the Sphinx build.