53 Commits

Author	SHA1	Message	Date
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