18 Commits (17c9230e1f135dbe1095618dfff47f9d77dacd93)

Author	SHA1	Message	Date
Diego Barrios Romero	17c9230e1f	Update CI	2020-05-02 11:50:43 +02:00
Diego Barrios Romero	68c6ffd0a5	Use default ubuntu	2019-05-16 19:00:02 +02:00
Diego Barrios Romero	0222a79f0d	Add MSRV to CI	2019-04-17 17:38:23 +02:00
Diego Barrios Romero	a4c1348993	Use ubuntu xenial to work around current musl problem	2019-04-17 17:38:23 +02:00
Diego Barrios Romero	cd4a91b79e	Use stable and beta channels	2019-03-16 19:12:36 +01:00
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