New comment by gbrlsnchs on void-packages repository

https://github.com/void-linux/void-packages/pull/25013#issuecomment-697759199

Comment:
@ericonr, do you have permission to rerun the CI jobs? I think everything's fine and working, it has just timed out.