doc: Do not build documentation by default
Hopefully, this will save some time both in CI (only one job, debian:cmake
will build the docs now) and to Monado developers that didn't notice they needed to disable the BUILD_DOC flag to reduce build times.
Merge request reports
Activity
enabled an automatic merge when the pipeline for acde32ab succeeds
added ready-to-merge label