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