fix(ci): disable default extensions

web-push-libs / web-push-php

Web Push library for PHP

MIT License

1.7k stars 295 forks source link

fix(ci): disable default extensions #385

Closed Rotzbua closed 8 months ago

Rotzbua commented 8 months ago

Problem

By default GH Action shivammathur/setup-php@v2 does enable several extensions. The goal to test against missing gmp does not work because it was enabled by default. Now disable all extensions and just enable the required.

Change

disable default extensions
test against an additional extension