I do not believe it is needed anymore because everything can be done in github actions. It also always fails because of a bad PHP matrix.