https://github.com/coq/coq/pull/16005
I'm getting some 500 Errors in github
Hum, https://www.githubstatus.com/ doesn't report anything ongoing.
I'm going to look at the logs.
The logs are unfortunately pretty empty. I've executed manually the GraphQL request that coqbot executes and it's returning me the full list of comments, including the one with the ID provided through the webhook, so I'm assuming this is a transient problem. @Gaëtan Gilbert can you try again?
Last updated: May 28 2023 at 18:29 UTC