New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/27311#issuecomment-748674723 Comment: I won't restart CI, since I assume you're going to push new things. It should be working now, though.