ci availability

Stream: general

[Ruben Van de Velde]

I pushed a commit to #17360 9 hours ago, and lint/tests are still "Waiting for a runner to pick up this job... ". Is there anything wrong that we're aware of?

[Kyle Miller]

My understanding is that we're overloading the servers we have available at the moment. I just checked, and there are 5 CI tasks in progress and 22 waiting.

[Andrew Yang]

It seems like the "lint mathlib" job has only been queued for 3 hrs. I would say that this time is not uncommon in peak hours.

[Scott Morrison]

Sorry about this, everyone. We are working on getting more CI resources.