meta-issue: learn-ocaml 0.13.1+ release plan and milestones suggestions for upcoming releases

[erikmd]

Hi all,

This issue aims to document the release plan as well as possible milestones for issues/PRs before setting them.

We'll close this issue as soon as learn-ocaml 0.14.1 is released.

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

0.13.1

• @erikmd Fix "Actions" menubar button
  Bug: Unable to access inside "Actions" menubar button #444
  fix(UI): Display teacher_menubar (Actions) properly in responsive mode #450
• Integrate Pierre.Letouzey's bugfix
  Bug: grader report may display negative numbers without mandatory parenthesis around them #440
  fix(grader): Display negative numbers with mandatory parens #448
• @erikmd Fix DOCTYPE-related issue
  fix(UI): Fix CSS bug regarding the loading animation #445
• @erikmd Double-check GHA w.r.t. docker-push and Docker image tags convention (v-prefix-free)
  ci: Ensure release-please triggers docker/build-push-action jobs #443
• @AltGr Fix Progress bar for students is not displayed on a fresh repository / Fail to view student contributions
  Progress bar for students is not displayed on a fresh repository #314
  Fail to view student contributions #337
  A few fixes, in particular for student follow-up on new repos #439

0.14.0

• @erikmd Reportbug(release-please): missing feature for *.opam.locked
• @erikmd Task Update devs/maintainers doc regarding the constraints suggested by the release-please workflow
  → https://github.com/ocaml-sf/learn-ocaml/wiki/Checklist-for-testing-and-merging-a-PR
• @erikmd Task Document contributor guidelines in CONTRIBUTING.md, including Conventional Commits, BREAKING-CHANGE syntax, structure of a PR
  docs: Add CONTRIBUTING.md file #452
  Improve PR/issues templates #453
  docs: Improve {ISSUE,PULL_REQUEST}_TEMPLATEs, slightly #464
• @erikmd Fix-or-Disable learn-ocaml build -j 2
learn-ocaml build -j 2 is broken #414
  Fix learn-ocaml build -j 2 issue #416 • Draft
  [build] Generate given_exo.{cmi,cmo,cmt} files #458 (first commit)
• Merge various bug fixes
  fix(docker): Add missing libs for compiler-libs related features #459
  fix(grader): Workaround issue #457 about the Introspection module #461
  fix(UI): Restore the UX of welcome message "Choose an activity." #455
• @yurug Rebase/Test/Merge Offer better protections against solution overwriting
  Offer better protections against solution overwriting #372 opened on Dec 22, 2020 by yurug
• Enhance the web UX for students clicking too much on Sync, avoiding empty commits. → subsumed by #372

0.14.1

• @yurug / @erikmd CI: Fix linux static binaries build
• @erikmd Doc Add more labels, inspired by PG/Coq GH repos
• @erikmd Fix/Replace Mechanism-2
  Bug: Mechanism-2 of PR #372 does not work #505
• Release PRs currently integrated in master
  → chore(master): release 0.14.1 #486

[erikmd]

If no one objects, I'll integrate #439 and release 0.13.1 tonight. Feel free to open another issue meanwhile if you see other usability issues.

[erikmd]

This run unfortunately errored with a spurious (network) failure:

https://github.com/ocaml-sf/learn-ocaml/runs/3911828459?check_suite_focus=true

FTR, here was the log before I restarted the build:

Successfully built 7b1661595884
Successfully tagged ocamlsf/learn-ocaml:master
Pushing image [ocamlsf/learn-ocaml:master]
The push refers to repository [docker.io/ocamlsf/learn-ocaml]
31255f3702b3: Preparing
34c165827557: Preparing
060585235be3: Preparing
f1dd685eb59e: Preparing
f1dd685eb59e: Layer already exists
34c165827557: Pushed
060585235be3: Pushed
31255f3702b3: Pushed
received unexpected HTTP status: 504 Gateway Time-out
Error: exit status 1
Usage:
  github-actions build-push [flags]

[erikmd]

The CI/CD builds are complete, and everything looks fine; so I updated the announcement here:
https://discuss.ocaml.org/t/ann-release-of-ocaml-sf-learn-ocaml-0-13-0/8577/6

[erikmd]

Closed by #486