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?
No, it's GitHub having troubles.
Just in time for my beta release - sigh!
Last updated: Dec 05 2023 at 05:01 UTC