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

..

ISSUE_TEMPLATE

Update feature_request.md

2020-05-17 15:17:26 +02:00

workflows

patch 8.2.1735: Github actions appear to timeout too soon

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

CODEOWNERS

Update runtime files.

2020-09-19 18:50:13 +02:00

FUNDING.yml

patch 8.1.1370: not using the new github feature for donations

2019-05-23 20:42:10 +02:00