Zulip Chat Archive

Stream: general

Topic: CI fails

Yury G. Kudryashov (May 22 2020 at 21:14):

CI fails to install elan, see https://github.com/leanprover-community/mathlib/pull/2778/checks?check_run_id=700680317

Mario Carneiro (May 22 2020 at 21:22):

this happened to me too just a moment ago, elan got a 500 server error (from github?)

Bhavik Mehta (May 22 2020 at 21:23):

Yeah I've been getting a bunch of 500 errors on github

Mario Carneiro (May 22 2020 at 21:23):

I tried again a few minutes later and it worked, so it was probably a momentary interruption

Bhavik Mehta (May 22 2020 at 21:23):

https://twitter.com/githubstatus it's been intermittent for me

Bryan Gin-ge Chen (May 22 2020 at 21:23):

https://www.githubstatus.com/ It's the same ongoing issue that has been affecting the website builds.

Bryan Gin-ge Chen (Feb 08 2021 at 16:22):

GitHub is having some issues, so builds might fail: https://www.githubstatus.com/

edit: looks like it only affected one job on #6078. I've restarted it and it seems to be working :fingers_crossed:.

Bryan Gin-ge Chen (Feb 09 2021 at 16:25):

GitHub is at it again: https://www.githubstatus.com/

Last updated: Dec 20 2023 at 11:08 UTC