Commit e3ed5107 authored by Guido Gunther's avatar Guido Gunther

gitlab-ci: Run documentation check

This avoids regression on the generated documentation. We
ignore errors from generated files.
Signed-off-by: Guido Gunther's avatarGuido Günther <guido.gunther@puri.sm>
parent f3ae8282
Pipeline #59404 passed with stages
in 41 minutes and 21 seconds