Enable GitHub Actions for pull requests

[claudiu-cristea]

.. also fixes a PHPStan complaint.

[k00ni]

That behavior is weird, because for my own pull requests it always started related Github Actions: https://github.com/sweetrdf/easyrdf/pulls?q=is%3Apr+is%3Aclosed

These are my settings, never had problems before. Maybe I overlooked something:

[claudiu-cristea]

@k00ni They are running now :)

[k00ni]

Haha, thank you @claudiu-cristea!

I will check the PHPStan complain and try to upload a fix soon.

[claudiu-cristea]

@k00ni will try to fix here

[claudiu-cristea]

@k00ni now it doesn't work anymore

This workflow requires approval from a maintainer

[k00ni]

This workflow requires approval from a maintainer

That is what I expect to see. No problem.

I took the liberty and refined your fix. It should be good now.

[claudiu-cristea]

Anyway, PHP7 should be removed. It's not supported anymore

[k00ni]

Anyway, PHP7 should be removed. It's not supported anymore

That is correct, but there are still many people using it in production. As long as there is no blocker for fixes or required changes, I would rather keep PHP 7 compatibility in EasyRdf.