CI: gate the test job on make verify-results, not make test (#30)

Author: jnasbyupgrade

.github/workflows/ci.yml

@@ -112,7 +112,14 @@ jobs:
       - name: Check out the repo
         uses: actions/checkout@v4
       - name: Test on PostgreSQL ${{ matrix.pg }}
-        run: make test
+        # `make test` alone never fails this step: pgxntool/base.mk (as
+        # vendored here, 2.2.0) marks its underlying installcheck .IGNORE,
+        # so a regression exits 0 and only prints the diff. verify-results is
+        # the real gate -- it runs the same TEST_DEPS chain, then actually
+        # inspects the pgTAP results (PGXNTOOL_ENABLE_VERIFY_RESULTS defaults
+        # to yes, PGXNTOOL_VERIFY_RESULTS_MODE to pgtap, matching this
+        # suite's pgTAP-based tests) and exits non-zero on failure.
+        run: make verify-results
 
   # A single stable check name for use as a required status check in branch
   # protection rules. Matrix jobs produce check names like "🐘 PostgreSQL 14"