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: Apr 18 2024 at 04:02 UTC