--- a/Admin/jenkins/run_build Wed Mar 27 21:51:03 2024 +0100
+++ b/Admin/jenkins/run_build Wed Mar 27 22:12:37 2024 +0100
@@ -12,4 +12,5 @@
bin/isabelle jedit -bf
bin/isabelle ocaml_setup
bin/isabelle ghc_setup
+bin/isabelle go_setup
bin/isabelle ci_build "$PROFILE" "$@"