New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/31635#issuecomment-884114257

Comment:
I agree, but that's how the CI currently is.