mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-11-24 02:15:04 +08:00
Code Issues Packages Projects Releases Wiki Activity

[skip ci] Also skip all other push jobs on non php-src

Browse Source
This commit is contained in:
Ilija Tovilo 2024-04-21 16:00:48 +02:00
parent 0e7ef95a0a
commit 4f0d4c0872
No known key found for this signature in database
GPG Key ID: A4F5D403F118200A
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/push.yml vendored
View File

@ -43,7 +43,7 @@ env:
CXX: ccache g++
jobs:
LINUX_X64:
if: github.repository_owner == 'php' || github.event_name == 'pull_request'
if: github.repository == 'php/php-src' || github.event_name == 'pull_request'
services:
mysql:
image: mysql:8
@ -149,7 +149,7 @@ jobs:
if: ${{ !matrix.asan }}
uses: ./.github/actions/verify-generated-files
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:
fail-fast: false
matrix:
@ -191,7 +191,7 @@ jobs:
- name: Verify generated files are up to date
uses: ./.github/actions/verify-generated-files
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
runs-on: windows-2019
env: