CI

Stream: mathlib4

[Yury G. Kudryashov]

On !4#4814, CI didn't run any tests.

[Yury G. Kudryashov]

UPD: ignore, it's already in master No, wrong branch

[Yury G. Kudryashov]

I force-pushed to this branch and Github doesn't update the PR

[Eric Wieser]

http://githubstatus.com

[Bryan Gin-ge Chen]

I don't see anything on https://githubstatus.com but it looks to me like all of mathlib4's CI jobs have been stuck queued for several hours: https://github.com/leanprover-community/mathlib4/actions

Is this just affecting mathlib? It looks like lean4 CI is working fine...

[Bryan Gin-ge Chen]

Batteries seems to be affected as well: https://github.com/leanprover-community/batteries/actions

Maybe leanprover-community is getting throttled...?

[Bryan Gin-ge Chen]

There are various limits described in this help page, but from a quick glance, I don't see anything that explains what we're seeing (all jobs in the org being queued for hours). It's late here now so I won't be able to do this, but if this doesn't resolve quickly, perhaps another maintainer can look into contacting GitHub support?

[Kim Morrison]

This looks like a side effect of me creating the mathlib4-nightly-testing fork, and copying many branches across to it.

[Kim Morrison]

I think we need to just cancel all actions there.

[Bryan Gin-ge Chen]

Ah, OK. Glad there's an explanation!

[Johan Commelin]

I've disabled actions on that repo

[Bryan Gin-ge Chen]

I'm not sure if that cancels all running jobs -- when I disabled actions on my fork recently, I remember getting error messages from some scheduled jobs a few hours later. In case it doesn't, I think gh can be used to cancel jobs in bulk.

[Kim Morrison]

Yes, I'm doing that.

[Kim Morrison]

All cancelled