Skip to content

v0.15.0

Compare
Choose a tag to compare
@github-actions github-actions released this 23 Aug 14:34
c479765

0.15.0 (2023-08-23)

https://discuss.ocaml.org/t/ann-release-of-ocaml-sf-learn-ocaml-0-15-0/12892

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)