New comment by emacsomancer on void-packages repository https://github.com/void-linux/void-packages/pull/25349#issuecomment-733909498 Comment: It should be done. Last time the GitHub CI timed out on some of the archs.