# HG changeset patch
# User wenzelm
# Date 1711573957 -3600
# Node ID da323d3d75704b64f2d93d8210442e82afa2d755
# Parent  a0210a24b547f3edd5488ab47d38256096481c3c
proper "isabelle go_setup" for Jenkins;

diff -r a0210a24b547 -r da323d3d7570 Admin/jenkins/run_build
--- 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" "$@"