Bram Moolenaar b53da7918c patch 8.2.1334: Github workflow timeout needs tuning ...

Problem:    Github workflow timeout needs tuning
Solution:   Use a 10 minute timeout. Fail when timing out. (Ken Takata,
            closes #6590)

2020-08-01 12:26:04 +02:00

..

ISSUE_TEMPLATE

Update feature_request.md

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

workflows

patch 8.2.1334: Github workflow timeout needs tuning

2020-08-01 12:26:04 +02:00

FUNDING.yml

patch 8.1.1370: not using the new github feature for donations

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