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 0fef20d..6a5501f 100644
--- a/.github/workflows/ci-windows.yaml
+++ b/.github/workflows/ci-windows.yaml
@@ -212,9 +212,9 @@
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 e5b5459..d85ac1b 100644
--- a/src/version.c
+++ b/src/version.c
@@ -751,6 +751,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 1735,
+/**/
1734,
/**/
1733,