That seems high to me. Where does that come from?
> You typically make 1-3 PRs a day, each of which need to be built. Let's say 3 PRs + 1 build after merging.
That also seems like a lot, at least for an individual, which is what this seems? (to me) aimed at. I haven’t used it, but 25 hours seems within bounds for reasonable for a month’s usage.