Add the documentation build job to the ci/cd

[MaxJPRey]

The documentation should be built automatically every time we try to merge a PR into the main branch.
It would avoid to trigger the workflow manually.