Ah got it, thanks. I thought there was another kind of GitHub runner (like their "large" runners) that I hadn't heard of.