New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/25456#issuecomment-708909231

Comment:
Any reason CI was skipped?

Also, please put the `[ci skip]` comment in a separate in a separate line.