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

.gitlab-ci.yml: build laldoc in addition to libadalang-doc See merge request eng/libadalang/libadalang!1538
AdaCore · Feb 16, 2024 · 674b125 · 674b125
2 parents 147d752 + 95d5212
commit 674b125
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -46,6 +46,7 @@ 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