archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 21:48:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Add scripts/dev/credits to 'verify-generated-files' action (#9049)

Browse source 
see 3292e54d8c
This commit is contained in:
Tim Düsterhus 2022-07-19 19:45:14 +02:00 • committed by GitHub
parent 8225e419e0
commit 2e404959a0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.github/actions/verify-generated-files/action.yml vendored
View file

@ -6,6 +6,7 @@ runs:
run: | run: |
set -x set -x
[[ "$OSTYPE" == "darwin"* ]] && export PATH="/usr/local/opt/bison/bin:$PATH" [[ "$OSTYPE" == "darwin"* ]] && export PATH="/usr/local/opt/bison/bin:$PATH"
scripts/dev/credits
scripts/dev/genfiles scripts/dev/genfiles
Zend/zend_vm_gen.php Zend/zend_vm_gen.php
build/gen_stub.php -f build/gen_stub.php -f