diff options
| author | Nick Mathewson <nickm@torproject.org> | 2020-09-21 09:24:14 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2020-09-21 12:58:49 -0400 |
| commit | ab03ca9c75a5ffa011a683e46eef5e1671fa60ea (patch) | |
| tree | 75d036a150af607cd211ddc55205e9808037aec0 | |
| parent | 1bbeddf99ef443a647569c27adfa83c7972beb0f (diff) | |
| download | tor-ab03ca9c75a5ffa011a683e46eef5e1671fa60ea.tar.gz tor-ab03ca9c75a5ffa011a683e46eef5e1671fa60ea.zip | |
gitlab-ci: Add disable-module builds.
| -rw-r--r-- | .gitlab-ci.yml | 33 |
1 files changed, 33 insertions, 0 deletions
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 |