New comment by Logarithmus on void-packages repository

https://github.com/void-linux/void-packages/pull/26339#issuecomment-782804047

Comment:
> I restarted CI, so it completed fine.

@ericonr it happened again