Closed jackwotherspoon closed 3 months ago
Pull request from forks once merged will still be skipped because github.event.pull_request.head.repo.full_name will still be that of the fork.
github.event.pull_request.head.repo.full_name
To combat this we run the job on all events that are not a pull_request (aka schedule and push)
schedule
push
Pull request from forks once merged will still be skipped because
github.event.pull_request.head.repo.full_name
will still be that of the fork.To combat this we run the job on all events that are not a pull_request (aka
schedule
andpush
)