[2019-08-22 11:14] "Chris Lamb" <[email protected]> > Felix Lechner wrote: > > > We are still working on this bug for you. Meanwhile, the running time > > was reduced by about 20 minutes. > > FYI I hope to finish/refine my CI caching stuff over the next week or > so and get that onto master.
Almost 1/3. Impressive. Thank you for you work. -- Note, that I send and fetch email in batch, once in a few days. Please, mention in body of your reply when you add or remove recepients.
