Hey, what about adding a simple validation of Pull Requests using GitHub actions ? I can create a very simple configuration file if you like this idea.
It will help a lot in contributing patches, this way it is sure for the committer that the patch is not breaking unit tests (not integration tests, of course) and it can help the contributor as it given an immediate feedback of the goodness of the patch Enrico
