summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorBram Moolenaar <Bram@vim.org>2020-08-01 12:26:04 +0200
committerBram Moolenaar <Bram@vim.org>2020-08-01 12:26:04 +0200
commitb53da7918c643ef4de1256c37bc8b92413e6dcec (patch)
tree40ab927a2df838b7ba70f3741eb3feedb583bc2d /.github
parentaf8edbb8dc551aaf2105a4d77b3d8495da239ef0 (diff)
downloadvim-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.yaml10
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
+ )