From 5e9ab00063de4344e8f111f9621958f209e10984 Mon Sep 17 00:00:00 2001 From: Ed Santiago Date: Mon, 8 Jul 2024 15:46:56 -0600 Subject: [PATCH] pr-should-include-tests: no more CI:DOCS override CI:DOCS is no more. Signed-off-by: Ed Santiago --- contrib/cirrus/pr-should-include-tests | 5 ----- contrib/cirrus/pr-should-include-tests.t | 2 +- 2 files changed, 1 insertion(+), 6 deletions(-) diff --git a/contrib/cirrus/pr-should-include-tests b/contrib/cirrus/pr-should-include-tests index bb9626ac13..a2374314c8 100755 --- a/contrib/cirrus/pr-should-include-tests +++ b/contrib/cirrus/pr-should-include-tests @@ -7,11 +7,6 @@ ME=$(basename $0) # Github label which allows overriding this check OVERRIDE_LABEL="No New Tests" -# Docs-only changes are excused -if [[ "${CIRRUS_CHANGE_TITLE}" =~ CI:DOCS ]]; then - exit 0 -fi - # HEAD should be good enough, but the CIRRUS envariable allows us to test head=${CIRRUS_CHANGE_IN_REPO:-HEAD} # Base of this PR. Here we absolutely rely on cirrus. diff --git a/contrib/cirrus/pr-should-include-tests.t b/contrib/cirrus/pr-should-include-tests.t index 75240c2fe5..efedaebbf3 100755 --- a/contrib/cirrus/pr-should-include-tests.t +++ b/contrib/cirrus/pr-should-include-tests.t @@ -97,7 +97,7 @@ function run_test_script() { testnum=$(( testnum + 1 )) CIRRUS_CHANGE_TITLE="[CI:DOCS] hi there" $test_script &>/dev/null - if [[ $? -ne 0 ]]; then + if [[ $? -ne 1 ]]; then echo "not ok $testnum $rest (override with CI:DOCS)" rc=1 else