diff options
| author | Nick Mathewson <nickm@torproject.org> | 2020-09-18 15:56:59 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2020-09-18 19:05:51 -0400 |
| commit | 0b77c706a1799d2ee6d8da4737bb7f152140e3c4 (patch) | |
| tree | 042cfbaed9b15671d743b386a72b98edb3039ee0 /.gitlab-ci.yml | |
| parent | f8f3e57016214685a2474342883eb16dfaf22ce1 (diff) | |
| download | tor-0b77c706a1799d2ee6d8da4737bb7f152140e3c4.tar.gz tor-0b77c706a1799d2ee6d8da4737bb7f152140e3c4.zip | |
Make debian-trace job conditional on src/lib/trace/trace_sys.c
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 028a49f52c..ce279a4bce 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -168,3 +168,15 @@ debian-tracing: CHECK: "no" script: - ./scripts/ci/ci-driver.sh + # Ensure that we only run tracing when it's implemented. + # + # Once versions before 0.4.5 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/lib/trace/trace_sys.c |