Re: A note about the dashboard

> Would it be possible to generate the dashboard when a PR gets built? That is really the only time the
> dashboard would change, so then:
> 1. The dashboard would load instantly.
> 2. The dashboard wouldn't have this limit.

Perhaps. It would also have to be built when a PR is closed, to remove it from the page. I’ll put it on my todo list, but no promises :-)

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica