Check documentation in CI