archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-16 05:58:45 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

[skip ci] Also skip benchmarking on non php-src

Browse source
This commit is contained in:
Ilija Tovilo 2024-04-21 02:22:57 +02:00
parent c3b07a6e5e
commit 0e7ef95a0a
No known key found for this signature in database
GPG key ID: A4F5D403F118200A
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/push.yml vendored
View file

@ -218,7 +218,7 @@ jobs:
run: .github/scripts/windows/test.bat run: .github/scripts/windows/test.bat
BENCHMARKING: BENCHMARKING:
name: BENCHMARKING name: BENCHMARKING
if: github.repository_owner == 'php' || github.event_name == 'pull_request' if: github.repository == 'php/php-src' || github.event_name == 'pull_request'
runs-on: ubuntu-22.04 runs-on: ubuntu-22.04
steps: steps:
- name: git checkout - name: git checkout