One really hacky solution that might work would just be to split a proposal across two files.

On Tue, 23 Jan 2024 at 03:31, Ben Gamari <ben@smart-cactus.org> wrote:
Adam Gundry <adam@well-typed.com> writes:

> 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

_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs