Skip to content

Commit 2f64d07

Browse files
committed
Merge branch 'PHP-8.2' into PHP-8.3
* PHP-8.2: [skip ci] Backport 0e7ef95 and 4f0d4c0
2 parents 2636104 + 891e4a5 commit 2f64d07

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

.github/workflows/push.yml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,6 +45,7 @@ env:
4545
CXX: ccache g++
4646
jobs:
4747
LINUX_X64:
48+
if: github.repository == 'php/php-src' || github.event_name == 'pull_request'
4849
services:
4950
mysql:
5051
image: mysql:8
@@ -137,6 +138,7 @@ jobs:
137138
if: ${{ !matrix.asan }}
138139
uses: ./.github/actions/verify-generated-files
139140
MACOS_DEBUG_NTS:
141+
if: github.repository == 'php/php-src' || github.event_name == 'pull_request'
140142
runs-on: macos-12
141143
steps:
142144
- name: git checkout
@@ -170,6 +172,7 @@ jobs:
170172
- name: Verify generated files are up to date
171173
uses: ./.github/actions/verify-generated-files
172174
WINDOWS:
175+
if: github.repository == 'php/php-src' || github.event_name == 'pull_request'
173176
name: WINDOWS_X64_ZTS
174177
runs-on: windows-2019
175178
env:
@@ -196,7 +199,7 @@ jobs:
196199
run: .github/scripts/windows/test.bat
197200
BENCHMARKING:
198201
name: BENCHMARKING
199-
if: github.repository_owner == 'php' || github.event_name == 'pull_request'
202+
if: github.repository == 'php/php-src' || github.event_name == 'pull_request'
200203
runs-on: ubuntu-22.04
201204
steps:
202205
- name: git checkout

0 commit comments

Comments
 (0)