![[Jenkins]](/jenkins/static/b6fe011e/images/svgs/logo.svg){kind=logo}
+ git clone --recursive --depth=1 https://github.com/openhwgroup/cva5 cva5 Cloning into 'cva5'... fatal: unable to access 'https://github.com/openhwgroup/cva5/': Failed to connect to github.com port 443 after 135185 ms: Couldn't connect to server
+ git clone --recursive --depth=1 https://github.com/openhwgroup/cva5 cva5 Cloning into 'cva5'... fatal: unable to access 'https://github.com/openhwgroup/cva5/': Failed to connect to github.com port 443 after 135185 ms: Couldn't connect to server