Balance that against the time saved by having GH actions instead of managing your own Jenkins server or something and it’s pretty fair

And yet, I doubt those 10K devs could collectively produces something in that 10 mins that would come even close to me and a random other person putting in 6 months.

This probably holds if the random person is actively working against whatever the collective goal is.

I spent a good 20 minutes trying to figure out why actions weren’t running for my PR. Almost lost my marbles until I saw another PR in a different repo also not running actions and I decided to check the GitHub status page. It feels like there should be some sorta warning or alert on GitHub.com when there’s an outage of a component of the site.