New comment by willeccles on void-packages repository

https://github.com/void-linux/void-packages/pull/25053#issuecomment-697370012

Comment:
CI seems to have been cancelled, not sure how to make it run again.