Comment by kevinminehart

I think both of these provide nodes that are scheduled using GitHub's control plane. They would also not be working right now.