New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/35907#issuecomment-1121832833

Comment:
On x86_64-musl:
```
The following tests FAILED:
	492 - leanruntest_all (Timeout)
	639 - leanruntest_async_map.lean (Failed)
```