New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32559#issuecomment-1046110504

Comment:
The test failure on i686 still happens on current version of lean (3.39.2), I've reported it upstream.