GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Closes #16 (closed)
Depends on !20 (merged)
The Review App is available at https://gitlab.inria.fr/concordant/software/c-sudoku/-/environments.