proper "isabelle go_setup" for Jenkins;
authorwenzelm
Wed, 27 Mar 2024 22:12:37 +0100
changeset 80044 da323d3d7570
parent 80043 a0210a24b547
child 80045 308ccc1ef982
proper "isabelle go_setup" for Jenkins;
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" "$@"