Michael Soegtrop (Oct 05 2022 at 16:39): 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?
Théo Zimmermann (Oct 05 2022 at 16:40):No, it's GitHub having troubles.
Théo Zimmermann (Oct 05 2022 at 16:40): 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