Hi all,

Just for the record, we discussed just now with @yurug about the need to document our release plan as well as to assign milestones to PRs (there are quite a few on-going PRs that we'll merge soon!),
so we made a list of tasks and PRs-to-be-merged… w.r.t. upcoming learn-ocaml.{0.13, 0.14, 0.15…}

We'll close this issue as soon as learn-ocaml 0.13 is released and the suggested milestones assigned to the GitHub PRs.

(feel free to comment below for questions/remarks if need be)

0.13 − direct link to the milestone to see pending PRs

• @yurug Merge (in learn-ocaml-corpus) Port to OCaml 4.12
  Port to OCaml 4.12 learn-ocaml-corpus#32 opened on Jul 28 by AltGr
• @erikmd Restart CI & Merge Port to OCaml 4.12
  Port to OCaml 4.12 #408 opened on Jul 28 by AltGr
• @yurug Doc Partitioning codes implementing the same function
  Partitioning codes implementing the same function #287 (already merged in 0.12)
  docs: Document student answers classification #421
• @erikmd Fix/Improve Make the prelude available in description page
  feat: Make the prelude available in description page #393 opened on May 12 by YoanwM
• @erikmd Dev base64 encoding for /description endpoint URL
  feat: Improve description entrypoint #423 by erikmd
• @erikmd Dev Versioning the learnocaml_api API
• @yurug Rebase/Test/Merge Add a ppx facility to test expressions
  Add a ppx facility to test expressions #403 opened on Jul 11 by lsylvestre
• @erikmd Merge(QoL) Fix the display of utf8 characters in the code editor
  Fix the display of utf8 characters in the code editor #412 opened on Aug 11 by AltGr
• @yurug Merge(QoL) Discourage redundant token creation from users
  Discourage redundant token creation from users #410 opened on Jul 30 by AltGr
• @erikmd Merge(QoL) Move the toplevel buttons to the bottom-right
  Move the toplevel buttons to the bottom-right #409 opened on Jul 30 by AltGr
• @erikmd Fix (or workaround) compatibility issue of learn-ocaml@master with latest version of deps
  Bug: compatibility issue of learn-ocaml@master with latest version of deps in a fresh switch (without --locked) #419 opened on Sep 15 by erikmd
  Blacklist jsoo version 3.10.0 #420 by AltGr
• @yurug,@erikmd Test/Use https://github.com/googleapis/release-please for generating released notes (on a dummy project)
  @erikmd Test/Use GHA job to auto-release build artifacts (on a dummy project)
  feat(release.yml): Add a (3 jobs)-based GHA using release-please #434 by erikmd
• @erikmd Task Document maintainer workflow in the wiki
  → https://github.com/ocaml-sf/learn-ocaml/wiki/Checklist-for-testing-and-merging-a-PR
• @erikmd Rebase/Merge make accessible the documentation generated by odoc
  Doc: make accessible the documentation generated by odoc. #404 opened on Jul 15 by EmileRolley
• @erikmd Merge Make find_binding match annotated declarations Make find_binding match annotated declarations #425
  feat: Make find_binding match annotated declarations #424 by hferee
  Make find_binding match annotated declarations #425 by hferee

(the sequel was moved to the meta-issue for 0.14.0+)