13 Commits (9f3f8be554b3dcd3c7e71dbff0c59e6d5bcfde0b)

Author	SHA1	Message	Date
Diego Barrios Romero	9f3f8be554	Define variable as global	2018-11-20 20:34:42 +01:00
Diego Barrios Romero	25f272015a	Disable clippy for the moment	2018-11-20 19:35:26 +01:00
Diego Barrios Romero	9510730e24	Use centralized ci for coverage	2018-11-19 22:05:44 +01:00
Diego Barrios Romero	37ae7aba43	Combine and extract before_install	2018-11-18 17:52:16 +01:00
Diego Barrios Romero	fd5f3cc981	Use before install phase for ci scripts	2018-11-18 17:42:35 +01:00
Diego Barrios Romero	7491105873	Clone ci scripts into folder	2018-11-18 17:37:57 +01:00
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