commit 0b77c706a1799d2ee6d8da4737bb7f152140e3c4 Author: Nick Mathewson nickm@torproject.org Date: Fri Sep 18 15:56:59 2020 -0400

Make debian-trace job conditional on src/lib/trace/trace_sys.c --- .gitlab-ci.yml | 12 ++++++++++++ 1 file changed, 12 insertions(+)

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