diff options
| author | Bram Moolenaar <Bram@vim.org> | 2020-08-01 12:26:04 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2020-08-01 12:26:04 +0200 |
| commit | b53da7918c643ef4de1256c37bc8b92413e6dcec (patch) | |
| tree | 40ab927a2df838b7ba70f3741eb3feedb583bc2d /src | |
| parent | af8edbb8dc551aaf2105a4d77b3d8495da239ef0 (diff) | |
patch 8.2.1334: Github workflow timeout needs tuningv8.2.1334
Problem: Github workflow timeout needs tuning
Solution: Use a 10 minute timeout. Fail when timing out. (Ken Takata,
closes #6590)
Diffstat (limited to 'src')
| -rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index 577a44bd67..f65d0fe6e3 100644 --- a/src/version.c +++ b/src/version.c @@ -755,6 +755,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1334, +/**/ 1333, /**/ 1332, |