SuccessConsole Output

+ git submodule update --init
Submodule 'externals/docrepo' (https://github.com/overturetool/documentation) registered for path 'externals/docrepo'
Cloning into '/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/externals/docrepo'...
Submodule path 'externals/docrepo': checked out '8f73b15ba2e58fae58a59979e5583458b6cba95d'