prevent actions from running twice when pushing to PRs
This commit is contained in:
parent
5d8bb8f810
commit
aa159fd8ee
5
.github/workflows/cpplint.yml
vendored
5
.github/workflows/cpplint.yml
vendored
@ -6,8 +6,9 @@ jobs:
|
|||||||
build:
|
build:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
||||||
# prevent push event from triggering if it's part of a PR
|
# prevent push event from triggering if it's part of a local PR, see
|
||||||
if: github.event_name != 'push' || github.event.pull_request == null
|
# https://github.com/orgs/community/discussions/57827#discussioncomment-6579237
|
||||||
|
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
|
||||||
|
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v4
|
- uses: actions/checkout@v4
|
||||||
|
|||||||
5
.github/workflows/yarnlint.yml
vendored
5
.github/workflows/yarnlint.yml
vendored
@ -6,8 +6,9 @@ jobs:
|
|||||||
build:
|
build:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
||||||
# prevent push event from triggering if it's part of a PR
|
# prevent push event from triggering if it's part of a local PR, see
|
||||||
if: github.event_name != 'push' || github.event.pull_request == null
|
# https://github.com/orgs/community/discussions/57827#discussioncomment-6579237
|
||||||
|
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
|
||||||
|
|
||||||
defaults:
|
defaults:
|
||||||
run:
|
run:
|
||||||
|
|||||||
5
.github/workflows/yarnprettier.yml
vendored
5
.github/workflows/yarnprettier.yml
vendored
@ -6,8 +6,9 @@ jobs:
|
|||||||
build:
|
build:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
||||||
# prevent push event from triggering if it's part of a PR
|
# prevent push event from triggering if it's part of a local PR, see
|
||||||
if: github.event_name != 'push' || github.event.pull_request == null
|
# https://github.com/orgs/community/discussions/57827#discussioncomment-6579237
|
||||||
|
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
|
||||||
|
|
||||||
defaults:
|
defaults:
|
||||||
run:
|
run:
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user