mirror of
https://github.com/vim/vim.git
synced 2026-02-10 20:26:43 +01:00
Problem: Github actions appear to timeout too soon. Solution: use "timeout" instead of "ping".
Problem: Github actions appear to timeout too soon. Solution: use "timeout" instead of "ping".