From e6a0e62095e2d29caf4427ffca45f88e010919ad Mon Sep 17 00:00:00 2001 From: Andreas Braun Date: Wed, 6 Sep 2023 10:19:57 +0200 Subject: [PATCH] PHPLIB-2284: Force regeneration of arginfo files in workflow --- .github/workflows/arginfo-files.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/arginfo-files.yml b/.github/workflows/arginfo-files.yml index 33750a569..ecb63c2e5 100644 --- a/.github/workflows/arginfo-files.yml +++ b/.github/workflows/arginfo-files.yml @@ -38,7 +38,7 @@ jobs: run: phpize - name: "Rebuild arginfo files from stubs" - run: "php ./build/gen_stub.php" + run: "php ./build/gen_stub.php --force-regeneration" - name: "Check arginfo file diff" run: git add . -N && git diff --exit-code