diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-08-01 12:26:04 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-08-01 12:26:04 +0200 |
commit | b53da7918c643ef4de1256c37bc8b92413e6dcec (patch) | |
tree | 40ab927a2df838b7ba70f3741eb3feedb583bc2d /.github | |
parent | af8edbb8dc551aaf2105a4d77b3d8495da239ef0 (diff) | |
download | vim-git-b53da7918c643ef4de1256c37bc8b92413e6dcec.tar.gz |
patch 8.2.1334: Github workflow timeout needs tuningv8.2.1334
Problem: Github workflow timeout needs tuning
Solution: Use a 10 minute timeout. Fail when timing out. (Ken Takata,
closes #6590)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci-windows.yaml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/.github/workflows/ci-windows.yaml b/.github/workflows/ci-windows.yaml index dbc900753..d23beef41 100644 --- a/.github/workflows/ci-windows.yaml +++ b/.github/workflows/ci-windows.yaml @@ -210,14 +210,18 @@ jobs: echo %COL_GREEN%Wait for vim tests to finish.%COL_RESET% cd ..\src2\testdir - :: Wait about 5 minutes. - for /L %%i in (1,1,300) do ( + :: Wait about 10 minutes. + for /L %%i in (1,1,600) do ( if exist done.txt goto exitloop ping -n 2 localhost > nul ) - echo %COL_RED%Timed out.%COL_RESET% + set timeout=1 :exitloop echo %COL_GREEN%Test results of vim:%COL_RESET% if exist messages type messages nmake -nologo -f Make_dos.mak report VIMPROG=..\..\src\vim || exit 1 + if "%timeout%"=="1" ( + echo %COL_RED%Timed out.%COL_RESET% + exit 1 + ) |