5 Commits

Author	SHA1	Message	Date
jvoisin	459e9b82f7	Add linting to the CI	2018-05-01 00:11:16 +02:00
jvoisin	cef5068fe9	Silence the `apt` process of the CI	2018-04-14 16:12:32 +02:00
jvoisin	bbde340e8a	Silence a bit the CI	2018-04-11 23:40:35 +02:00
jvoisin	3c0e04dacc	Add coverage	2018-03-27 21:14:19 +02:00
jvoisin	e313ddb721	Add gitlab-ci	2018-03-27 20:42:13 +02:00