I wouldn't assume this has anything to do with GitHub, It's just another free CI service that was being abused by crypto miners.