Console Output

+ git clone --recursive --depth=1 https://github.com/openhwgroup/cv32e40s cv32e40s
Cloning into 'cv32e40s'...
fatal: unable to access 'https://github.com/openhwgroup/cv32e40s/': Failed to connect to github.com port 443 after 129849 ms: Couldn't connect to server