mirror of
https://github.com/php/php-src.git
synced 2025-08-15 13:38:49 +02:00
Merge branch 'PHP-8.3' into PHP-8.4
* PHP-8.3: [skip ci] Add timeout for FreeBSD
This commit is contained in:
commit
571bded46e
2 changed files with 2 additions and 0 deletions
1
.github/workflows/nightly.yml
vendored
1
.github/workflows/nightly.yml
vendored
|
@ -1086,6 +1086,7 @@ jobs:
|
||||||
- zts: ${{ !inputs.run_freebsd_zts && true || '*never*' }}
|
- zts: ${{ !inputs.run_freebsd_zts && true || '*never*' }}
|
||||||
name: "FREEBSD_${{ matrix.zts && 'ZTS' || 'NTS' }}"
|
name: "FREEBSD_${{ matrix.zts && 'ZTS' || 'NTS' }}"
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
timeout-minutes: 50
|
||||||
steps:
|
steps:
|
||||||
- name: git checkout
|
- name: git checkout
|
||||||
uses: actions/checkout@v4
|
uses: actions/checkout@v4
|
||||||
|
|
1
.github/workflows/push.yml
vendored
1
.github/workflows/push.yml
vendored
|
@ -356,6 +356,7 @@ jobs:
|
||||||
if: github.repository == 'php/php-src' || github.event_name == 'pull_request'
|
if: github.repository == 'php/php-src' || github.event_name == 'pull_request'
|
||||||
name: FREEBSD
|
name: FREEBSD
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
timeout-minutes: 50
|
||||||
steps:
|
steps:
|
||||||
- name: git checkout
|
- name: git checkout
|
||||||
uses: actions/checkout@v4
|
uses: actions/checkout@v4
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue