CI/CD for documentaiton

We have a few open PRs related to the docs:

- #399
- #400
- #401
- #405

I think it would be safer and easier if we have a CI that runs the hexo documentation build so we can easily review/merge these PRs, I think this would be a low-hanging fruit with GitHub actions.

Review the open documentation PRs #399, #400, #401, and #405, then identify how the Hexo documentation build is run. Define a GitHub Actions check that runs that build for documentation changes; done means the workflow can validate these PRs before they are merged.

Written by the indexing model from the issue text.