New comment by jason1987d on void-packages repository https://github.com/void-linux/void-packages/pull/38190#issuecomment-1195494401 Comment: Is there any way to cancel the CI runs to save void resources if I pushed by mistake?