New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/26484#issuecomment-729810445 Comment: Can you try force pushing again? If the PR was originally a draft, it won't run CI without that.