search

MetaCoq / metacoq

Metaprogramming, verified meta-theory and implementation of Coq in Coq
https://metacoq.github.io
MIT License
390 stars 82 forks source link

Should default branch be coq-8.18 or main? #994

Open JasonGross opened 1 year ago

JasonGross commented 1 year ago

The default branch is currently coq-8.16. this can be changed by admins at https://github.com/metacoq/metacoq/settings

yforster commented 1 year ago

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)

mattam82 commented 10 months ago

We now have a choice of either 8.18 or 8.19. I guess the later, which will be available everywhere soonish.

mattam82 commented 8 months ago

We'll switch to 8.19 now that it's released and a platform is comming for it.

JasonGross commented 8 months ago

I still see coq-8.17 as default Screenshot_20240318-092237