You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I just synced all branches, I think we can move the default branch to be coq-8.18 now. (Not main, because we don't want to give the impression that contributors are expected to compile Coq dev, and actually most contributors don't)
The default branch is currently coq-8.16. this can be changed by admins at https://github.com/metacoq/metacoq/settings
The text was updated successfully, but these errors were encountered: