I was working on https://github.com/timeweb/phpstan-enum/pull/15 and I noticed that no Travis job is started. Is this something to be fixed or should a move be made towards Github Actions?