0
0
mirror of https://github.com/vim/vim.git synced 2025-07-26 11:04:33 -04:00

patch 8.2.1334: Github workflow timeout needs tuning

Problem:    Github workflow timeout needs tuning
Solution:   Use a 10 minute timeout. Fail when timing out. (Ken Takata,
            closes #6590)
This commit is contained in:
Bram Moolenaar 2020-08-01 12:26:04 +02:00
parent af8edbb8dc
commit b53da7918c
2 changed files with 9 additions and 3 deletions

View File

@ -210,14 +210,18 @@ jobs:
echo %COL_GREEN%Wait for vim tests to finish.%COL_RESET% echo %COL_GREEN%Wait for vim tests to finish.%COL_RESET%
cd ..\src2\testdir cd ..\src2\testdir
:: Wait about 5 minutes. :: Wait about 10 minutes.
for /L %%i in (1,1,300) do ( for /L %%i in (1,1,600) do (
if exist done.txt goto exitloop if exist done.txt goto exitloop
ping -n 2 localhost > nul ping -n 2 localhost > nul
) )
echo %COL_RED%Timed out.%COL_RESET% set timeout=1
:exitloop :exitloop
echo %COL_GREEN%Test results of vim:%COL_RESET% echo %COL_GREEN%Test results of vim:%COL_RESET%
if exist messages type messages if exist messages type messages
nmake -nologo -f Make_dos.mak report VIMPROG=..\..\src\vim || exit 1 nmake -nologo -f Make_dos.mak report VIMPROG=..\..\src\vim || exit 1
if "%timeout%"=="1" (
echo %COL_RED%Timed out.%COL_RESET%
exit 1
)

View File

@ -754,6 +754,8 @@ static char *(features[]) =
static int included_patches[] = static int included_patches[] =
{ /* Add new patch number below this line */ { /* Add new patch number below this line */
/**/
1334,
/**/ /**/
1333, 1333,
/**/ /**/