From 851d108313317a062371a6750e6c6bf370a9bafa Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Wed, 23 Sep 2020 22:27:22 +0200 Subject: [PATCH] patch 8.2.1735: Github actions appear to timeout too soon Problem: Github actions appear to timeout too soon. Solution: use "timeout" instead of "ping". --- .github/workflows/ci-windows.yaml | 4 ++-- src/version.c | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci-windows.yaml b/.github/workflows/ci-windows.yaml index 0fef20da5b..6a5501f249 100644 --- a/.github/workflows/ci-windows.yaml +++ b/.github/workflows/ci-windows.yaml @@ -212,9 +212,9 @@ jobs: echo %COL_GREEN%Wait for vim tests to finish.%COL_RESET% cd ..\src2\testdir :: Wait about 10 minutes. - for /L %%i in (1,1,600) do ( + for /L %%i in (1,1,60) do ( if exist done.txt goto exitloop - ping -n 2 localhost > nul + timeout 10 ) set timeout=1 :exitloop diff --git a/src/version.c b/src/version.c index e5b5459b01..d85ac1b2dd 100644 --- a/src/version.c +++ b/src/version.c @@ -750,6 +750,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1735, /**/ 1734, /**/