Merge branch 'mr/pmderodat/ci' into 'master'

.gitlab-ci.yml: build laldoc in addition to libadalang-doc

See merge request eng/libadalang/langkit!1009

Author: pmderodat

.gitlab-ci.yml

@@ -152,6 +152,7 @@ libadalang_build_and_test:
     - touch fingerprints/x86_64-linux.langkit_support.install.json.assume-unchanged
     - touch fingerprints/x86_64-linux.langkit.install.json.assume-unchanged
     - anod build --minimal libadalang
+    - anod build --minimal laldoc
     - anod build --minimal libadalang-doc
     - anod build --minimal libadalang_for_customers
     - anod test  --minimal libadalang