ci: Split docs building from linting

[godlygeek]

This lays the groundwork for automatically uploading documentation when a release is cut.

Signed-off-by: Matt Wozniski [email protected]

[godlygeek]

This gets us 80% of the way there. On top of this, we should have an action that fires only when releases are published that publishes the github-pages artifact to the gh-pages branch using actions/pages-deploy - but I'm not sure how to test that right now, given that what's on main contains some staged documentation changes for the next release that we're not yet ready to publish.

[pablogsal]

@godlygeek do you want to merge this PR as it is and work on the automation as a separate one?

[codecov-commenter]

Codecov Report

Patch coverage has no change and project coverage change: -0.02% ⚠️

Comparison is base (a519a95) 91.72% compared to head (c181678) 91.70%.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #223      +/-   ##
==========================================
- Coverage   91.72%   91.70%   -0.02%     
==========================================
  Files          90       90              
  Lines       10503    10503              
  Branches     1446     1446              
==========================================
- Hits         9634     9632       -2     
- Misses        866      868       +2     
  Partials        3        3              

Flag	Coverage Δ
cpp	85.12% <ø> (-0.06%)	⬇️
python_and_cython	95.18% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

see 2 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.