mirror of
https://github.com/php/php-src.git
synced 2025-08-15 13:38:49 +02:00
[skip ci] Add timeout for FreeBSD
Unfortunately, these jobs routinely fail to boot correctly. In this case, they'll stall and block CI for 6 hours until they finally fail. Add a limit to make them fail earlier.
This commit is contained in:
parent
2cd9233e42
commit
abb7f2879e
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
|
@ -174,6 +174,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