CI: Run the documentation build on PRs

Wait 5 sec.

CI: Run the documentation build on PRsBut don't push the result due to insufficient permissions.