Add documentation build in CI

2 jobs for ci_tests in 11 minutes and 12 seconds (queued for 1 second)