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