From 95d5212da21bddc96149819e551797fd63215619 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Fri, 16 Feb 2024 14:16:05 +0100 Subject: [PATCH] .gitlab-ci.yml: build laldoc in addition to libadalang-doc --- .gitlab-ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 803750d1b..3214612b0 100644 --- 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