search

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory
http://homotopytypetheory.org/
Other
1.26k stars 193 forks source link

Host docs for PRs #2107

Open Alizter opened 1 month ago

Alizter commented 1 month ago

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.

jdchristensen commented 1 month ago

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?

Alizter commented 1 month ago

I think maybe alectryon had some weird CSS issues then I don't recall. The point is we ought to be able to see it all from the CI.

Alizter commented 1 month ago

I think documenting it in STYLE.md would be a good idea. I'll do that.