CI status badge

Stream: mathlib4

[Edward van de Meent]

This is only a minor issue, but from the looks of it, the "ci status" badge of mathlib as displayed in the readme on the main page of the repo displays as "no status", even though it should be "passing". Small investigation suggests that this is due to github not accepting continuous integration as the passed name of the workflow whose status should be displayed. changing it to build.yml seems to fix it.

Two questions:

• am i correct in my assesment that these "workflow nicknames" are not supposed to be accepted (anymore, possibly)?
• is a PR for this welcome?

[Bryan Gin-ge Chen]

No idea about the first bullet point (a question for github, I guess?) but feel free to ping me if you make a PR.

[Edward van de Meent]

the only relevant piece of github documentation i found is this page

[Bryan Gin-ge Chen]

I'm fairly certain the badge used to work, so my feeling is they must have changed something, but I could be misremembering...

[Edward van de Meent]

#24603