Make debian-trace job conditional on src/lib/trace/trace_sys.c

This commit is contained in:
Nick Mathewson 2020-09-18 15:56:59 -04:00
parent f8f3e57016
commit 0b77c706a1

View File

@ -168,3 +168,15 @@ debian-tracing:
CHECK: "no" CHECK: "no"
script: script:
- ./scripts/ci/ci-driver.sh - ./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