Console Output

$ hg clone --rev cc36841eeff6b25b72ade1e08879c630cc377738 --noupdate https://isabelle.in.tum.de/repos/isabelle /media/data/jenkins/workspace/isabelle-dump
abort: error: Connection timed out
ERROR: Failed to clone https://isabelle.in.tum.de/repos/isabelle