+ git clone --recursive --depth=1 https://github.com/zxmarcos/riscado-v riscado-v Cloning into 'riscado-v'... fatal: unable to access 'https://github.com/zxmarcos/riscado-v/': Could not resolve host: github.com
+ git clone --recursive --depth=1 https://github.com/zxmarcos/riscado-v riscado-v Cloning into 'riscado-v'... fatal: unable to access 'https://github.com/zxmarcos/riscado-v/': Could not resolve host: github.com