Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
github: change condition to trigger the ci
github.actor is the username of the last user that push in the PR github.event.pull_request.user.login is the user who creates the PR using pull request creator to trigger the ci avoid failures if other user push a new commit on this PR
- Loading branch information