Make use of the fantastic Gitlab CI to run some tests automatically after each push. First test: test for PHP errors in different versions.