Closed c-cube closed 5 years ago
With such tools, it's "trust, but verify" in my experience :) I think dune-release might push docs in a subdirectory.
I think my problem was that everything was just very old so I upgraded all the dependencies and pushed again. Voila, docs are back!
I'll look into this.
dune-release
has pushed togh-pages
and the settings say everything is fine. But it looks like the docs that were generated are missing bits.