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