Stream: Coq devs & plugin devs

Topic: GitHub CI issues


view this post on Zulip Michael Soegtrop (Oct 05 2022 at 16:39):

Since very recently (worked 3h ago, does not work now) none of my GitHub CI actions are run any more on PR or merge. Did someone disable something here for the GitHub "coq" account?

view this post on Zulip Théo Zimmermann (Oct 05 2022 at 16:40):

No, it's GitHub having troubles.

view this post on Zulip Théo Zimmermann (Oct 05 2022 at 16:40):

https://www.githubstatus.com/

view this post on Zulip Michael Soegtrop (Oct 05 2022 at 16:41):

Just in time for my beta release - sigh!


Last updated: Feb 01 2023 at 16:03 UTC