* Set dependencies for 7.3 and 8.x
* Set GitHub Actions for PHP 7.3, 7.4 and 8.0
* Set Ubuntu version that supports PHP from 7.1 to 7.4
According to warnings raised by GitHub Actions, the alias for the latest
Ubuntu version will upgrade soon to the newer 20.04 LTS instead of 18.04.
Aiming to ensure the compatibility with previous PHP versions, it's safer
to force the Ubuntu 18.04 that has the previous PHP version as built-in
versions in the OS
https://github.com/marketplace/actions/setup-php-action#github-hosted-runners
* Fix dependencies for PHP ^7.3 and ^8.0 support
* Run test suite with PHP versions from 7.3 to 8.1
* Broken Prophecy dependency for PHPUnit on PHP 8.1
This broken dependency doesn't allow us to run PHPUnit tests and ensure it works. Keeping the ^8.0 version should allow installations for non-maintainers on newer versions too.
https://packagist.org/packages/phpspec/prophecy#1.12.2
requires
- php: ^7.2 || ~8.0, <8.1
- ...
* Use the latest Ubuntu version instead of a specific version
* Prepare Changelog for PHP 8.0
