mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
[skip ci] Also skip all other push jobs on non php-src
This commit is contained in:
parent
0e7ef95a0a
commit
4f0d4c0872
1 changed files with 3 additions and 3 deletions
6
.github/workflows/push.yml
vendored
6
.github/workflows/push.yml
vendored
|
@ -43,7 +43,7 @@ env:
|
||||||
CXX: ccache g++
|
CXX: ccache g++
|
||||||
jobs:
|
jobs:
|
||||||
LINUX_X64:
|
LINUX_X64:
|
||||||
if: github.repository_owner == 'php' || github.event_name == 'pull_request'
|
if: github.repository == 'php/php-src' || github.event_name == 'pull_request'
|
||||||
services:
|
services:
|
||||||
mysql:
|
mysql:
|
||||||
image: mysql:8
|
image: mysql:8
|
||||||
|
@ -149,7 +149,7 @@ jobs:
|
||||||
if: ${{ !matrix.asan }}
|
if: ${{ !matrix.asan }}
|
||||||
uses: ./.github/actions/verify-generated-files
|
uses: ./.github/actions/verify-generated-files
|
||||||
MACOS_DEBUG_NTS:
|
MACOS_DEBUG_NTS:
|
||||||
if: github.repository_owner == 'php' || github.event_name == 'pull_request'
|
if: github.repository == 'php/php-src' || github.event_name == 'pull_request'
|
||||||
strategy:
|
strategy:
|
||||||
fail-fast: false
|
fail-fast: false
|
||||||
matrix:
|
matrix:
|
||||||
|
@ -191,7 +191,7 @@ jobs:
|
||||||
- name: Verify generated files are up to date
|
- name: Verify generated files are up to date
|
||||||
uses: ./.github/actions/verify-generated-files
|
uses: ./.github/actions/verify-generated-files
|
||||||
WINDOWS:
|
WINDOWS:
|
||||||
if: github.repository_owner == 'php' || github.event_name == 'pull_request'
|
if: github.repository == 'php/php-src' || github.event_name == 'pull_request'
|
||||||
name: WINDOWS_X64_ZTS
|
name: WINDOWS_X64_ZTS
|
||||||
runs-on: windows-2019
|
runs-on: windows-2019
|
||||||
env:
|
env:
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue