diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-09-23 22:27:22 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-09-23 22:27:22 +0200 |
commit | 851d108313317a062371a6750e6c6bf370a9bafa (patch) | |
tree | feb4338dc47420faa1a699b6c06be58329d337e6 /.github | |
parent | 148ce7ae62e92ecf6487a4ba5902ddb7e699074b (diff) |
patch 8.2.1735: Github actions appear to timeout too soonv8.2.1735
Problem: Github actions appear to timeout too soon.
Solution: use "timeout" instead of "ping".
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci-windows.yaml | 4 |
1 files changed, 2 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 |