mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
Merge branch 'PHP-8.4'
* PHP-8.4: [skip ci] Allow to run push workflows manually
This commit is contained in:
1
.github/workflows/push.yml
vendored
1
.github/workflows/push.yml
vendored
@@ -30,6 +30,7 @@ on:
|
||||
- .circleci/**
|
||||
branches:
|
||||
- '**'
|
||||
workflow_dispatch: ~
|
||||
permissions:
|
||||
contents: read
|
||||
concurrency:
|
||||
|
||||
Reference in New Issue
Block a user