Adam Gundry
On 22/01/2024 16:15, Simon Peyton Jones wrote:
Is there any workaround at all? E.g. a web site where you can give it a URL for a RST file, and it'll typeset the RST for you? Or is it impossible to to typeset RST?
I tend to use pandoc to preview RST files locally. There are also a few websites that allow you to enter RST content directly and see a live preview (e.g. https://snippets.documatt.com/). They may not exactly line up with how GitHub renders things, of course, and I don't know of any that let you feed in a URL to an RST file hosted elsewhere.
As noted during the SWG meeting today, I suspect that the easiest way forward here may be to just render PRs via CI. However, I don't know how easy it is to preserve artifacts such that they are viewable using GitHub Actions. Jose will have a quick look at this. Cheers, - Ben