New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/37315#issuecomment-1317739624

Comment:
The tests fail with ` FileNotFoundError: [Errno 2] No such file or directory: 'leanproject'` However when I install the package locally I get leanproject installed. What's happening?