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.
Best wishes,
--
,''`.
: :' : Chris Lamb
`. `'` [email protected] 🍥 chris-lamb.co.uk
`-
