@balonik But maybe the problem comes from a wrong location of the .doctrees folder. As you can see here, there isn’t such a folder at the top level of the project but only in the build subfolder. Does it mean I should replace:
paths:
- .doctrees
by:
paths:
- build/.doctrees
But, nevertheless, what is strange is that both build/.doctrees and build/doctrees have remained unchanged since months whereas several .md source and generated HTML files changed in the meantime.