Depends if they are using another CI provider or running Jenkins themselves.

But also, Circle CI would be a known cost change. Right now, the only thing you know is that GitHub wants to start charging money. You have no idea what new pricing model they come up with.