Stream: Coq devs & plugin devs

Topic: github having issues


view this post on Zulip Gaëtan Gilbert (Jan 09 2024 at 14:19):

looks like github is returning 500 error to some queries
this can produce spurious CI failures

view this post on Zulip Karl Palmskog (Jan 09 2024 at 14:20):

indeed lots of degradations here: https://www.githubstatus.com/


Last updated: Oct 13 2024 at 01:02 UTC