From 0b77c706a1799d2ee6d8da4737bb7f152140e3c4 Mon Sep 17 00:00:00 2001
From: Nick Mathewson <nickm@torproject.org>
Date: Fri, 18 Sep 2020 15:56:59 -0400
Subject: Make debian-trace job conditional on src/lib/trace/trace_sys.c

---
 .gitlab-ci.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to '.gitlab-ci.yml')

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
-- 
cgit v1.2.3-54-g00ecf