Fix CI lint by using ZTS PHP to match dev container
This commit is contained in:
parent
cc94ba8e55
commit
273fca76e3
1 changed files with 1 additions and 0 deletions
|
|
@ -18,6 +18,7 @@ jobs:
|
||||||
uses: https://github.com/shivammathur/setup-php@v2
|
uses: https://github.com/shivammathur/setup-php@v2
|
||||||
with:
|
with:
|
||||||
php-version: '8.3'
|
php-version: '8.3'
|
||||||
|
phpts: zts
|
||||||
extensions: pdo_sqlite, mbstring, xml, dom
|
extensions: pdo_sqlite, mbstring, xml, dom
|
||||||
coverage: pcov
|
coverage: pcov
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue