check workflows fail

Stream: general

[Violeta Hernández]

What does this error message mean?
image.png

[Violeta Hernández]

Is it something I can fix with my PR or does it just mean some component is currently down?

[Bryan Gin-ge Chen]

Can you link to your PR?

[Patrick Stevens]

https://github.com/leanprover-community/mathlib4/pull/15820 I presume?

[Violeta Hernández]

Indeed, it's that one

[Bryan Gin-ge Chen]

Ah, scrolling to the bottom of this page (accessible after a few clicks if you click details next to the failed check) shows:

**check workflows**
GitHub Actions has encountered an internal error when running your job.

So I would just ignore it for now. It does look like Github is having issues again: https://www.githubstatus.com/incidents/mrpx4trfk45z

[Bryan Gin-ge Chen]

(The "check workflows" step really should only apply to PRs which modify github workflow files, so unless you're making changes to CI, you can probably ignore it as noise.)

[Damiano Testa]

I think that the check workflows is the check that the various workflow files are automatically generated by the "master" workflow, so that they are kept in sync.

[Damiano Testa]

Since you did not touch .github/workflows/something, this is not an error that was caused by you!

[Damiano Testa]

As partial consolation, here is another analogous failure: https://github.com/leanprover-community/mathlib4/actions/runs/10404653678/job/28813577711?pr=15811.