Erik Martin-Dorel

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 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

As an aside, when this bug will be fixed: we may want to add a `-j 2` (or `-j $(nproc)`) flag [in the biggest, learn-ocaml-corpus based, test](https://github.com/ocaml-sf/learn-ocaml/blob/f7bf4204/tests/runtests.sh#L237) of our CI...

Hi @AltGr, thanks a lot for investigating, and for these pointers. > Or, of course, we could wait for multicore which should make it fairly trivial Yes, that sounds a...

FYI @yurug, we deployed the `oauth-moodle` branch this week, but we experienced one major issue: when many people connect (via Moodle or a password), the server seems to become unresponsive…...

Autre remarque sur la résolution de conflit: il y a cette erreur dans le log du CI : ``` # File "src/server/learnocaml_server.ml", line 1169, characters 48-56: # Error: Unbound value...

Thanks @yurug ! so FYI: * the PR based on this branch is not the latest version of the feature (see the branch `oauth-moodle-dev`) * it had become slightly stalled...

Agree with @AltGr; moreover, merging this `ocamlformat` change at some point would mean that all currently opened PRs will raise git conflicts everywhere… so if one decide to fully switch...

> > [...] merging this `ocamlformat` change at some point would mean that all currently opened PRs will raise git conflicts everywhere... > > I think for this point, updating...

Sorry, forgot to reply earlier in this thread after we discussed this a bit with @yurug last month 😅 Trying to sum up the ideas: - it will be a...