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

Fix CI benchmarking diff

Browse Source
This commit is contained in:
Ilija Tovilo 2023-04-15 23:30:07 +02:00
parent 2044e5aea0
commit af809ef028
No known key found for this signature in database
GPG Key ID: A4F5D403F118200A
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -305,8 +305,8 @@ jobs:
git push
- name: Show diff
if: github.event_name == 'pull_request'
run: >-
php benchmark/generate_diff.php
${{ github.event.pull_request.head.sha }}
$(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }})
> $GITHUB_STEP_SUMMARY
run: |-
php benchmark/generate_diff.php \
${{ github.sha }} \
$(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.sha }}) \
> $GITHUB_STEP_SUMMARY