Skip checks for same-repo pulls

They are already made by pushing, so there is no need in duplicating them.
This commit is contained in:
Eric Kotato 2020-05-16 10:55:14 +03:00
parent e2591b7466
commit 7cb4bfaa4f
5 changed files with 25 additions and 5 deletions

View file

@ -52,7 +52,11 @@ jobs:
linux:
name: Ubuntu 14.04
if: "github.event_name != 'push' || !contains(github.event.head_commit.message, '[skip ci]')"
if: >
!(github.event_name == 'push'
&& contains(github.event.head_commit.message, '[skip ci]'))
&& !(github.event_name == 'pull_request'
&& github.event.pull_request.head.repo.full_name == github.event.pull_request.base.repo.full_name)
runs-on: ubuntu-latest
container:
image: ubuntu:trusty

View file

@ -48,7 +48,11 @@ jobs:
linux:
name: Ubuntu 14.04
if: "github.event_name != 'push' || !contains(github.event.head_commit.message, '[skip ci]')"
if: >
!(github.event_name == 'push'
&& contains(github.event.head_commit.message, '[skip ci]'))
&& !(github.event_name == 'pull_request'
&& github.event.pull_request.head.repo.full_name == github.event.pull_request.base.repo.full_name)
runs-on: ubuntu-latest
container: ubuntu:trusty

View file

@ -46,7 +46,11 @@ jobs:
macos:
name: MacOS
if: "github.event_name != 'push' || !contains(github.event.head_commit.message, '[skip ci]')"
if: >
!(github.event_name == 'push'
&& contains(github.event.head_commit.message, '[skip ci]'))
&& !(github.event_name == 'pull_request'
&& github.event.pull_request.head.repo.full_name == github.event.pull_request.base.repo.full_name)
runs-on: macos-latest
strategy:

View file

@ -46,7 +46,11 @@ jobs:
linux:
name: Ubuntu 18.04
if: "github.event_name != 'push' || !contains(github.event.head_commit.message, '[skip ci]')"
if: >
!(github.event_name == 'push'
&& contains(github.event.head_commit.message, '[skip ci]'))
&& !(github.event_name == 'pull_request'
&& github.event.pull_request.head.repo.full_name == github.event.pull_request.base.repo.full_name)
runs-on: ubuntu-18.04
env:

View file

@ -51,7 +51,11 @@ jobs:
windows:
name: Windows
if: "github.event_name != 'push' || !contains(github.event.head_commit.message, '[skip ci]')"
if: >
!(github.event_name == 'push'
&& contains(github.event.head_commit.message, '[skip ci]'))
&& !(github.event_name == 'pull_request'
&& github.event.pull_request.head.repo.full_name == github.event.pull_request.base.repo.full_name)
runs-on: windows-latest
strategy: