| commit | b53da7918c643ef4de1256c37bc8b92413e6dcec | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Sat Aug 01 12:26:04 2020 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Sat Aug 01 12:26:04 2020 +0200 |
| tree | 40ab927a2df838b7ba70f3741eb3feedb583bc2d | |
| parent | af8edbb8dc551aaf2105a4d77b3d8495da239ef0 [diff] |
patch 8.2.1334: Github workflow timeout needs tuning
Problem: Github workflow timeout needs tuning
Solution: Use a 10 minute timeout. Fail when timing out. (Ken Takata,
closes #6590)
diff --git a/src/version.c b/src/version.c index 577a44b..f65d0fe 100644 --- a/src/version.c +++ b/src/version.c
@@ -755,6 +755,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1334, +/**/ 1333, /**/ 1332,