Build fails with no errors

Stream: general

[Adam Topaz]

The CI seems to have failed in the latest commit associated with the PR #6695 but it doesn't look like it actually did anything! What's going on?

[Riccardo Brasca]

Same for #6694: CI doesn't do anything.

[Julian Berman]

The GH Actions UI is sometimes... "not ideal" -- but https://github.com/leanprover-community/mathlib/actions/runs/655471529 at least says something at the bottom

[Julian Berman]

Namely, "GitHub Actions has encountered an internal error when running your job." which I take to be the 500 for GH Actions, i.e. "stuff is down sorry"

[Adam Topaz]

GitHub Actions has encountered an internal error when running your job. :expressionless:

[Julian Berman]

In these cases check https://www.githubstatus.com/

[Julian Berman]

Which indeed says... "
Investigating - We are investigating reports of degraded availability for GitHub Actions.
Mar 15, 20:38 UTC
"

[Bryan Gin-ge Chen]

When things settle down, there's a button near the top right you can click to re-run the workflows.

[Bryan Gin-ge Chen]

Looks like it may be stuck on "Cancel workflow" at the moment though.