7 Commits (e378737f4de6f26ea9a3462719588d1fa555c283)

Author	SHA1	Message	Date
Diego Barrios Romero	e378737f4d	Use full urls	2018-11-18 17:30:10 +01:00
Diego Barrios Romero	dfe90b9000	Put paths in quotes	2018-11-18 17:27:39 +01:00
Diego Barrios Romero	7891a53705	Use CI scripts from separate repository	2018-11-18 17:23:38 +01:00
Diego Barrios Romero	dc05ca6bee	Run coverage in rust stable	2018-11-16 20:22:12 +01:00
Diego Barrios Romero	b4cfbbb2d9	Run coverage in rust nightly	2018-11-16 20:03:23 +01:00
Diego Barrios Romero	a5c8b8afaa	Add coverage support	2018-11-16 18:46:06 +01:00
Diego Barrios Romero	5e613bec35	Add CI	2018-10-28 10:31:28 +01:00