Comment by lsuresh

We use self-hosted Github runners, but it's a moot point if all of Github is mostly down as is the case right now. :\