New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/24547#issuecomment-686541413

Comment:
Isn't that what the CI is for?