From 558908d084cf796cb44d069ec6a4bb8181217370 Mon Sep 17 00:00:00 2001
From: Javier Spagnoletti <phansys@gmail.com>
Date: Wed, 22 Feb 2023 18:37:16 -0300
Subject: [PATCH] [CI] Check that headers are up to date in the CI pipeline

---
 .github/workflows/ci.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 56894ea..4edc6f5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -31,6 +31,17 @@ jobs:
         uses: shivammathur/setup-php@v2
         with:
           php-version: ${{matrix.version}}
+      - name: Checkout "php/php-src"
+        uses: actions/checkout@v3
+        with:
+          repository: php/php-src
+          ref: php-8.2.0
+          path: php-src
+      - name: Verify headers
+        if: "${{ matrix.version >= '8.0' }}"
+        run: |
+          HEADERS_IN_SYNC=$(php php-src/build/gen_stub.php .)
+          if [[ ! -z $HEADERS_IN_SYNC ]]; then echo 'Headers are not in sync with "ibm_db2.stub.php".' && exit 1; fi;
       - name: phpize
         run: phpize
       - name: configure