New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/23930#issuecomment-665972233 Comment: CI errors shouldn't matter right now, since the packages won't be rebuilt.