I didn’t really realize the degree of their slowness, until I migrated one of the projects on a self-hosted gitea and runners. This setup is just breezing! It’s an order of magnitude faster we’re talking about.

Granted, self-hosting git is not feasible for everyone, but GitHub + self hosted runners seems like a very good option.