diff --git a/.github/workflows/build-mapscript-php.yml b/.github/workflows/build-mapscript-php.yml index 9c235fae1..e91ab3291 100644 --- a/.github/workflows/build-mapscript-php.yml +++ b/.github/workflows/build-mapscript-php.yml @@ -31,11 +31,17 @@ jobs: run: | sudo apt-get purge '^php.*' -y - - name: Set up PHP ${{ matrix.php-version }} - uses: shivammathur/setup-php@v2 - with: - php-version: ${{ matrix.php-version }} - extensions: none, xml, mbstring + - name: Setup PHP + run: | + sudo add-apt-repository ppa:ondrej/php -y + sudo apt-get install -y --no-install-recommends \ + php${{ matrix.php-version }}-dev php${{ matrix.php-version }}-xml php${{ matrix.php-version }}-mbstring + + # - name: Set up PHP ${{ matrix.php-version }} + # uses: shivammathur/setup-php@v2 + # with: + # php-version: ${{ matrix.php-version }} + # extensions: none, xml, mbstring - name: Install dependencies run: ./ci/setup.sh