Zulip Chat Archive

Stream: general

Topic: Build fails with no errors


view this post on Zulip Adam Topaz (Mar 15 2021 at 21:27):

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?

view this post on Zulip Riccardo Brasca (Mar 15 2021 at 21:28):

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

view this post on Zulip Julian Berman (Mar 15 2021 at 21:30):

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

view this post on Zulip Julian Berman (Mar 15 2021 at 21:30):

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"

view this post on Zulip Adam Topaz (Mar 15 2021 at 21:30):

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

view this post on Zulip Julian Berman (Mar 15 2021 at 21:30):

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

view this post on Zulip Julian Berman (Mar 15 2021 at 21:31):

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

view this post on Zulip Bryan Gin-ge Chen (Mar 15 2021 at 21:32):

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

view this post on Zulip Bryan Gin-ge Chen (Mar 15 2021 at 21:33):

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


Last updated: May 13 2021 at 21:12 UTC