[tor-commits] [tor/maint-0.3.5] gitlab-ci: Add disable-module builds.

[nickm at torproject.org]

commit ab03ca9c75a5ffa011a683e46eef5e1671fa60ea
Author: Nick Mathewson <nickm at torproject.org>
Date:   Mon Sep 21 09:24:14 2020 -0400

    gitlab-ci: Add disable-module builds.
---
 .gitlab-ci.yml | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ce279a4bce..a719ef2ceb 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -180,3 +180,36 @@ debian-tracing:
     - if: '$CI_PIPELINE_SOURCE == "push"'
       exists:
         - src/lib/trace/trace_sys.c
+
+#####
+# No-authority mode
+debian-disable-dirauth:
+  image: debian:stable
+  <<: *debian-template
+  variables:
+    DISABLE_DIRAUTH: "yes"
+  script:
+    - ./scripts/ci/ci-driver.sh
+
+
+#####
+# No-relay mode
+debian-disable-relay:
+  image: debian:stable
+  <<: *debian-template
+  variables:
+    DISABLE_RELAY: "yes"
+  script:
+    - ./scripts/ci/ci-driver.sh
+  # Ensure that we only run tracing when it's implemented.
+  #
+  # Once versions before 0.4.3 are obsolete, we can remove this test.
+  rules:
+    # This first "if" check prevents us from running a duplicate version of
+    # this pipeline whenever we push and create an MR.  I don't understand why
+    # it is necessary, though the following URL purports to explain:
+    #
+    # https://docs.gitlab.com/ee/ci/yaml/#prevent-duplicate-pipelines
+    - if: '$CI_PIPELINE_SOURCE == "push"'
+      exists:
+        - src/feature/relay/relay_stub.c