Yann Régis Gianas

For the moment, couldn't you use the nickname as the student identifier and merge all its submissions, ignoring the token? Tell me if I am wrong but the student ID...

As a matter of fact, I do not experience this issue. How many students do you have?

I have 241 students on mine.

However, the machine is equipped with an efficient SSD so I guess that could explain the difference in terms of efficiency.

The definition of `Tokens.Index.get ()` indeed triggers a lot of system calls. However, 2 minutes seem an eternity for a simple file hierarchy traversal. How much time does it take...

Same question with `find . -type d -maxdepth 4`.

Thank you @erikmd! I am aware of this dynamic creation of Test_lib for the grading toplevel. However, I do not understand why we cannot compile a fake .mli file for...

Hi @HuStmpHrrr. `Obj` is considered harmful, especially for beginners. For this reason, and also because it could generate safety issues when grading on the server-side, it is encouraged not to...

@OCamlPro-Couderc, can you look at this, please?

Should we improve the documentation?