How to run a specific PHP version (with patch version)

[danon]

I'm using a solution which behaves differently between PHP 7.1.13 and 7.1.14, and I'd like to run tests for the in Github Actions.

But when I used

with:
    php-version: 7.1.13
    tools: composer:v2

it installed 7.1.33 either way:

Is there a way to run a specific patch version? PHP is known for introducing breaking changes in "patch" version

[shivammathur]

@danon

I understand the need for this, but I'm sorry, currently, support for this cannot be added.

The only PHP builds we do are nightly ones for all 3 supported OS and macOS builds for all PHP versions. This already takes most of the time I have to maintain open-source projects.

This would require maintaining builds for each patch release for all the supported versions and operating systems, which would be a huge task, and would need me to work full-time on this which I'm happy to do if the funding for this project reaches close to my goal.