search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
130 stars 33 forks source link

Release 2.6.0 #1218

Closed Halbaroth closed 1 week ago

Halbaroth commented 3 weeks ago

We are ready to start the release process for 2.6.0!

bclement-ocp commented 2 weeks ago

Please rebase after #1219. Should we wait a bit at least on the documentation changes you mentioned in #1134 before doing this to avoid churn with duplicate PRs? It is not like there is going to be development on the next branch this week that is not related to the release.

Halbaroth commented 2 weeks ago

Sure, I plan to rebase after merging documentation.

Halbaroth commented 1 week ago

I think we are ready to start the release process @bclement-ocp

bclement-ocp commented 1 week ago

I think Try Alt-Ergo is currently broken but I don't think that should block the release.

More precisely worker_js.ml does not seem to be compatible with dolmen.

Halbaroth commented 1 week ago

The worker is not a part of the release. We can fix it after publishing 2.6.0.