From: Bram Moolenaar Date: Wed, 23 Sep 2020 20:27:22 +0000 (+0200) Subject: patch 8.2.1735: Github actions appear to timeout too soon X-Git-Tag: v8.2.1735 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=851d108313317a062371a6750e6c6bf370a9bafa;p=vim 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 0fef20da5..6a5501f24 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 e5b5459b0..d85ac1b2d 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, /**/