![[Jenkins]](/jenkins/static/d05f6cb3/images/svgs/logo.svg){kind=logo}
+ git clone --recursive --depth=1 https://github.com/riscv-boom/riscv-boom riscv-boom Cloning into 'riscv-boom'... fatal: unable to access 'https://github.com/riscv-boom/riscv-boom/': Could not resolve host: github.com
+ git clone --recursive --depth=1 https://github.com/riscv-boom/riscv-boom riscv-boom Cloning into 'riscv-boom'... fatal: unable to access 'https://github.com/riscv-boom/riscv-boom/': Could not resolve host: github.com