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