Bram Moolenaar 851d108313 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".

2020-09-23 22:27:22 +02:00

..

ci-windows.yaml

patch 8.2.1735: Github actions appear to timeout too soon

2020-09-23 22:27:22 +02:00