| HI David Ffrench, The doc is updated automatically when the command `make setup` is used. However, the CI before this task was not checking if the changes were or not committed to the repo in order to ensure it. The idea here is not to allow a merge with the doc outdated. We can try to improve it more in the future. However, I think now it is covering what is required at least. |