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