patch 8.2.1735: Github actions appear to timeout too soon Commit: https://github.com/vim/vim/commit/851d108313317a062371a6750e6c6bf370a9bafa Author: Bram Moolenaar <Bram@vim.org> Date: Wed Sep 23 22:27:22 2020 +0200 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".

#! /bin/sh

# This is just a stub for the Unix configure script, to provide support for
# doing "./configure" in the top Vim directory.

cd "${SRCDIR:-src}" && exec ./configure "$@"