-
Notifications
You must be signed in to change notification settings - Fork 71
Closed
Labels
kind: metaMeta discussion beyond a mere feature or defectMeta discussion beyond a mere feature or defect
Milestone
Description
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: AddCONTRIBUTING.md
file #452
Improve PR/issues templates #453
docs: Improve{ISSUE,PULL_REQUEST}_TEMPLATE
s, slightly #464 - @erikmd Fix-or-Disable
learn-ocaml build -j 2
learn-ocaml build -j 2
is broken #414
Fixlearn-ocaml build -j 2
issue #416 • Draft
[build] Generategiven_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 theIntrospection
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 onSync
, 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
Metadata
Metadata
Assignees
Labels
kind: metaMeta discussion beyond a mere feature or defectMeta discussion beyond a mere feature or defect