github actions check if push or pull request