12 Commits (25f272015a44c27091dfb70bbe512d6093d5007d)

Author SHA1 Message Date
Diego Barrios Romero 25f272015a Disable clippy for the moment 4 years ago
Diego Barrios Romero 9510730e24 Use centralized ci for coverage 4 years ago
Diego Barrios Romero 37ae7aba43 Combine and extract before_install 4 years ago
Diego Barrios Romero fd5f3cc981 Use before install phase for ci scripts 4 years ago
Diego Barrios Romero 7491105873 Clone ci scripts into folder 4 years ago
Diego Barrios Romero e378737f4d Use full urls 4 years ago
Diego Barrios Romero dfe90b9000 Put paths in quotes 4 years ago
Diego Barrios Romero 7891a53705 Use CI scripts from separate repository 4 years ago
Diego Barrios Romero dc05ca6bee Run coverage in rust stable 4 years ago
Diego Barrios Romero b4cfbbb2d9 Run coverage in rust nightly 4 years ago
Diego Barrios Romero a5c8b8afaa Add coverage support 4 years ago
Diego Barrios Romero 5e613bec35 Add CI 4 years ago