Merge branch 'pmderodat/ci' into 'master'

CI: build Libadalang-doc and optimize scheduled pipelines

See merge request eng/libadalang/libadalang!1444

.gitlab-ci.yml

@@ -52,8 +52,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
-    # Protect us against the potential build failure of libadalang-doc this day
-    - anod install --latest libadalang-doc
+    - anod build --minimal libadalang-doc
     - anod build --minimal libadalang_for_customers
 
     # Run the testsuite

utils/gitlab-ci-common.yml

@@ -21,15 +21,19 @@
 .cb:
   # Items to create continuous builders (CB).
   #
-  # Such jobs are meant to be run only after all updates on the "master"
-  # branch.  Their purpose is to check that recent work the
-  # Libadalang/Langkit/AdaSAT repositories does not break the build of GNAT. In
-  # this context, we are only interested in builds: we think that a situation
-  # where LAL changes do not break builds but create serious regressions at
-  # runtime are very unlikely, and running relevant testing is very costly.
+  # Such jobs are meant to be run after all updates on the "master" branch and
+  # optionally when manually triggered from the web interface.
+  #
+  # Their purpose is to check that recent work the Libadalang/Langkit/AdaSAT
+  # repositories does not break the build of GNAT. In this context, we are only
+  # interested in builds: we think that a situation where LAL changes do not
+  # break builds but create serious regressions at runtime are very unlikely,
+  # and running relevant testing is very costly.
   extends: .basic
   rules:
-    - if: '$CI_COMMIT_BRANCH == "master"'
+    - if: '$CI_COMMIT_BRANCH != "master"'
+      when: never
+    - if: '$CI_PIPELINE_SOURCE == "push" || $CI_PIPELINE_SOURCE == "web"'
   services:
      - image:sandbox
      - cpu:8