mirror of
https://github.com/charles-lunarg/vk-bootstrap.git
synced 2024-11-25 08:24:34 +00:00
Don't run ci twice on PR's
Prevents ci from being run on branches that have a PR created for them. This doesn't prevent ci from running on PR's from forks.
This commit is contained in:
parent
7fcd5d04c4
commit
9e826bbf2b
5
.github/workflows/ci_build.yml
vendored
5
.github/workflows/ci_build.yml
vendored
@ -18,12 +18,13 @@
|
|||||||
|
|
||||||
name: CI Build
|
name: CI Build
|
||||||
|
|
||||||
on: [push, pull_request, workflow_dispatch]
|
on: [push, pull_request]
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
linux:
|
linux:
|
||||||
name: Linux
|
name: Linux
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
|
||||||
strategy:
|
strategy:
|
||||||
fail-fast: false
|
fail-fast: false
|
||||||
matrix:
|
matrix:
|
||||||
@ -64,7 +65,7 @@ jobs:
|
|||||||
windows:
|
windows:
|
||||||
name: Windows
|
name: Windows
|
||||||
runs-on: windows-latest
|
runs-on: windows-latest
|
||||||
|
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
|
||||||
strategy:
|
strategy:
|
||||||
matrix:
|
matrix:
|
||||||
arch: [ Win32, x64 ]
|
arch: [ Win32, x64 ]
|
||||||
|
Loading…
Reference in New Issue
Block a user