Julien Palard 02264afd6e Set a shorter timeout on this build (6h by default). (#1501) ... Automerge of PR #1501 by @JulienPalard It should not take long, but we've seen it timeouting (probably for another reason that really taking 6+ hours), so a shorter timeout may be sane here.		2020-12-14 11:01:33 +01:00
..
ISSUE_TEMPLATE	Issue template for file reservations. (#1029)	2019-11-26 10:24:30 +01:00
problem-matchers	Problem Matcher for pospell (#1493)	2020-12-02 00:20:06 +01:00
workflows	Set a shorter timeout on this build (6h by default). (#1501)	2020-12-14 11:01:33 +01:00
FUNDING.yml	FIX: github error.	2020-06-09 17:56:19 +02:00
stale.yml	Exempt EASY issues.	2020-11-25 20:00:10 +01:00