Don't run compat-tests on V_9_1 branch.

The requisite fixes did not go into the main branch until after V_9_1
was branched.

diff --git a/.github/configs b/.github/configs
index d3171a83a0d8bf529c9ca8794bbc3c244b00e79a..b54ed3a9526a50d9fcdea2a7b42c7d8865defb30 100755 (executable)
--- a/.github/configs
+++ b/.github/configs
@@ -12,7 +12,7 @@ config=$1
 
 unset CC CFLAGS CPPFLAGS LDFLAGS LTESTS SUDO
 
-TEST_TARGET="tests compat-tests"
+TEST_TARGET="tests"
 LTESTS=""
 SKIP_LTESTS=""
 SUDO=sudo      # run with sudo by default