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".

diff --git a/.github/workflows/ci-windows.yaml b/.github/workflows/ci-windows.yaml
index 0fef20da5bdba3b6f34f259bd4d618ca715a49e9..6a5501f249cbcc601488298728e24fb07f2e6048 100644 (file)
--- 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 e5b5459b012a939182408d400627c4eb8b206e7d..d85ac1b2dd630a75d1bd81e398ba90f7e72986d0 100644 (file)
--- 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,
 /**/