New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/31986#issuecomment-950367392 Comment: I have restarted CI. It seems to be working for me, and looks ok to merge (once CI is done). @Chocimier ok for you?