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.14.1 #22877

Merged
merged 1 commit into from
Jan 12, 2023

Conversation

proofbot
Copy link
Contributor

@proofbot proofbot commented Jan 7, 2023

This pull-request concerns:

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


0.14.1 (2023-01-06)

Bug Fixes

  • learnocaml_report.css: Display multiple spaces in code excerpts (#503) (c1054ab), closes #502
  • web-app: Ask token (not secret) when opening exercise url (#489) (b91050e), closes #488
  • web-app: Disable the Sync button at load time (1c068dd)
  • web-app: Disable Sync after local save for a static deployment (dd69f3c)
  • web-app: Remove automatic dialog (cf. Mechanism-2 of PR #372) (7ea03f1)
  • web-app: Add Reload button that replaces Mechanism-2 of PR #372 (918b79e), closes #493 #505
  • learnocaml_common.ml: Remove unused var (leftover of PR #489) (dc5c89c)

Documentation

  • index.md: Update index.md (2fdc853)
  • README.md: Update/Fix README.md (7174547)
  • src/main/*: Document exit codes in man pages forall cmd/subcmd (c6ae2ca)
  • src/main/*: Move server options to ad-hoc section in man pages (7c14d4c)

Build System

  • static-binaries: Fix building of static binaries on CI (#497) (bcb0ff7), closes #496

Dependencies

  • opam: Bump ssl (0.5.10 -> 0.5.12) (#499) (9bc28a6), closes #498
  • opam: Upgrade cmdliner version to 1.1.1 & Improve man pages (590034f)

CI/CD

  • check-update-index.yml: Add a workflow to check index.md (24c56b3), closes #490
  • pin-artifacts.yml: Add build artifacts links within upstream commits status (#501) (e55cf61), closes #475
  • update-index.sh: Add a script to update docs/index.md (c538200), closes #490

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

@mseri mseri merged commit f686310 into ocaml:master Jan 12, 2023
@mseri
Copy link
Member

mseri commented Jan 12, 2023

Thanks

@erikmd erikmd deleted the opam-publish-learn-ocaml.0.14.1 branch January 12, 2023 14:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment