4 Jan
2018
4 Jan
'18
6:59 p.m.
AMDG On 01/04/2018 04:49 AM, Daniel James via Boost wrote:
On 4 January 2018 at 11:23, Joaquin M López Muñoz via Boost
wrote: <snip> I don't know whether this is the reason or not, but, FWIW, results have cycled once more (yesterday at around 15:20) and then stopped again.
Random guess: it ran once from Daniel's PR.
cc'd the testing list as they might know more. I also created a pull request:
I merged this, and it seems to be running again. In Christ, Steven Watanabe