php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'PHP-8.1' into PHP-8.2

Browse Source 
* PHP-8.1:
  [skip ci] Allow to run push workflows manually
This commit is contained in:
Christoph M. Becker
2024-10-10 02:12:26 +02:00
parent 6bcba24eb0 0b5167cff5
commit 509fec8ee6
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -34,6 +34,7 @@ on:
- .circleci/**
branches:
- '**'
workflow_dispatch: ~
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.url || github.run_id }}
cancel-in-progress: true