5 Commits

Author	SHA1	Message	Date
Julien Palard	4975c6872c	Github checks only changed files (#1500)	2020-12-15 17:22:05 +01:00
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
Jules Lasne	4bb967b2e7	Update tests.yml for all french names (#1497)	2020-12-03 11:14:54 +01:00
Julien Palard	18418308fb	Problem Matcher for pospell (#1493)	2020-12-02 00:20:06 +01:00
Julien Palard	c4ac4df37d	Try gh-actions. (#1474)	2020-11-23 13:11:32 +01:00