4 commits

Author	SHA1	Message	Date
Paul Chavard	a03d812d19	Add github actions CI	2021-02-23 10:35:30 +01:00
Paul Chavard	ce0c50fbec	remove eclint ... eclint is dead https://github.com/jedmao/eclint/issues/226#issuecomment-689193653	2020-12-10 13:11:02 +01:00
gregoirenovel	2edc882a29	[Fix #1747] Add a new editorconfig lint task	2018-09-20 16:41:05 +02:00
gregoirenovel	fa2afe6820	Extract the lint task in a dedicated file	2018-09-20 11:19:55 +02:00