mirror of
https://github.com/php/php-src.git
synced 2025-08-15 13:38:49 +02:00
Merge branch 'PHP-8.1' into PHP-8.2
* PHP-8.1: [skip ci] Add timeout for FreeBSD
This commit is contained in:
commit
0c044b35b7
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
|
@ -221,6 +221,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