diff --git a/Admin/jenkins/run_build b/Admin/jenkins/run_build
--- a/Admin/jenkins/run_build
+++ b/Admin/jenkins/run_build
@@ -1,15 +1,16 @@
 #!/usr/bin/env bash
 #
 # Do not run this script manually, it is only to be executed by Jenkins.
 
 set -x
 set -e
 
 PROFILE="$1"
 shift
 
 bin/isabelle components -a
 bin/isabelle jedit -bf
 bin/isabelle ocaml_setup
 bin/isabelle ghc_setup
+bin/isabelle go_setup
 bin/isabelle ci_build "$PROFILE" "$@"