On 14/03/2024 10.54, Paul Gevers wrote:
I just did. The biggest rise I saw (and I didn't even stop parallel runners) was ~5 GB, so this version seems fine.

Please let me know when the other versions are fixed too.

Thanks. I'll upgrade the other ones over the next days, closing the existing bug again with each upload.

Don't hesitate to yell if you notice something suspiciously straining on the CI ;-)


Andreas

Reply via email to