| commit | 851d108313317a062371a6750e6c6bf370a9bafa | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Wed Sep 23 22:27:22 2020 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Wed Sep 23 22:27:22 2020 +0200 |
| tree | feb4338dc47420faa1a699b6c06be58329d337e6 | |
| parent | 148ce7ae62e92ecf6487a4ba5902ddb7e699074b [diff] |
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/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,