Zulip Chat Archive
Stream: general
Topic: github 500s
Keeley Hoek (Jul 22 2019 at 15:47):
Interesting, I'm getting 500s https://github.com/leanprover-community/mathlib/pulls
Bryan Gin-ge Chen (Jul 22 2019 at 15:53):
Investigating - We are investigating reports of issues with a number of services.
Jul 22, 15:46 UTC
Last updated: Dec 20 2023 at 11:08 UTC