[doc, ci] Check documentation builds as part of CI
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 5cbe829..8b7ace9 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -52,6 +52,11 @@
displayName: 'Ensure all generated files are clean and up-to-date'
- bash: |
+ ./util/build_docs.py
+ condition: always()
+ displayName: 'Render documentation'
+
+ - bash: |
# XXX: As of today, task.logissue comments with 'sourcepath' set don't
# get reported to GitHub Checks annotations. Upstream bug report:
# https://developercommunity.visualstudio.com/content/problem/689794/pipelines-logging-command-logissue-does-not-report.html
