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/gui.c | |
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/gui.c')
0 files changed, 0 insertions, 0 deletions