Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

2 packages from ocaml-sf/learn-ocaml at 0.15.0 #24305

Merged
merged 1 commit into from Aug 23, 2023

Conversation

erikmd
Copy link
Contributor

@erikmd erikmd commented Aug 23, 2023

This pull-request concerns:

  • learn-ocaml.0.15.0: The learn-ocaml online platform (engine)
  • learn-ocaml-client.0.15.0: The learn-ocaml client


0.15.0 (2023-08-23)

Features

  • partition-view: Add a selector to show (tokens, nicks, or anon IDs) (#540) (58b3644), closes #528
  • teacher-tab: Add some inline documentation to the teacher tab (651456a)
  • teacher-tab: Allow name input on teacher token creation (c341fca)
  • teacher-tab: Allow partial CSV export (d5d82fc)
  • teacher-tab: Display last synced student's draft (≠ graded code) (#548) (48583ba), closes #527
  • teacher-tab: Highlight the "apply" button on unsaved changes (b20ce4e)
  • js_utils: Add HTMLElement.title support (3a7c42e)
  • ui: Add feedback button with internationalized tooltip (6b7b226), closes #525
  • ui: better string input dialog (03669eb)

Bug Fixes

  • i18n: fix escaping issue in i18n (e060517)
  • partition-view: Use Ctrl-click or ⌘-click (instead of middle-click) (#516) (a6e4c5e), closes #500
  • teacher-tab: show different status for open and closed assigned exercises (8c2c639)
  • ui: Update fr translation (1b88a18)
  • ui: Use proper URL fragments ("#tab=…", not "#tab%3D…") (#557) (7f2b6cf), closes #539
  • html: Fix process_html_file w.r.t. base_url (84bc393)
  • vuln: percent-decode before path-splitting (#560) (1a0c2ef)

Code Refactoring

  • partition-view: Move adhoc CSS code to learnocaml_partition_view.css (8d86f01)

CI/CD

  • *.yml: Use actions/checkout@v3 (6cb8165)
  • docker: Fix build-args syntax (docker/build-push-action@v4) (046087d)
  • docker: Fix GHA input name: s/build_args/build-args/ (a31ff2b)
  • docker: Replace LABEL Dockerfile commands with labels: (GHA) (#551) (ce8c006), closes #545
  • docker: Use docker/build-push-action@v4 (#544) (69006f8)
  • macos: Fix brew upgrade failure (a99c61b)
  • macos: Fix brew upgrade failure, bis (#518) (68221ba)
  • macos: Fix brew upgrade failure, ter (#536) (af83c70)
  • macos: Run the macOS workflow as well in the weekly CI build (84b7863)

Documentation

  • Fix date in README.md and Copyright headers (#517) (04bb39f)
  • Refactor ISSUE_TEMPLATEs to use GitHub issue forms (#509) (7205c39)

🐫 Pull-request generated by opam-publish v2.2.0

@avsm avsm merged commit 1da29ec into ocaml:master Aug 23, 2023
2 checks passed
@avsm
Copy link
Member

avsm commented Aug 23, 2023

Thanks for the package update! You may want to announce this on https://discuss.ocaml.org, where we have a Community category and an announce tag for this purpose. Just so you're aware, because of the very specific OCaml version that's supported (4.12), this package has only been tested on Debian and not other distros (see the ocaml-ci check for more details). If you have a version in the future that supports more recent OCaml versions, it should be picked up for there as well.

@erikmd erikmd deleted the opam-publish-learn-ocaml.0.15.0 branch August 23, 2023 18:32
@erikmd
Copy link
Contributor Author

erikmd commented Aug 23, 2023

Dear @avsm, thanks for the merge and for your advice!

FYI I had already announced the release at https://discuss.ocaml.org/t/ann-release-of-ocaml-sf-learn-ocaml-0-15-0/12892 but I wasn't aware of the announce tag, so I edited the post accordingly, thanks!

Indeed we are aware of the somewhat-distracting-version-lag of 4.12 < 4.14 < 5.0, (see also ocaml/ocaml.org#1042), this is not trivial to address but we intend to, soonish. Thanks again!

Cc @AltGr @yurug

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment