You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think it would be beneficial for the CI to deploy docs from PRs so that PR authors can easily inspect the result without having to build the docs locally, which can require configuring CSS, or having to wait for the PR to be merged into master.
The text was updated successfully, but these errors were encountered:
It seems to work fine for me to build the docs locally and just view them in a browser, with no server. Maybe we just need to document this in STYLE.md?
I think it would be beneficial for the CI to deploy docs from PRs so that PR authors can easily inspect the result without having to build the docs locally, which can require configuring CSS, or having to wait for the PR to be merged into
master
.The text was updated successfully, but these errors were encountered: