Jenkins: run ghc_setup default tip
authorLars Hupel <lars.hupel@mytum.de>
Thu Oct 18 20:04:23 2018 +0200 (13 hours ago)
changeset 6916144e1c9f93755
parent 69160 30c384e72749
Jenkins: run ghc_setup
Admin/jenkins/run_build
     1.1 --- a/Admin/jenkins/run_build	Thu Oct 18 12:35:32 2018 +0200
     1.2 +++ b/Admin/jenkins/run_build	Thu Oct 18 20:04:23 2018 +0200
     1.3 @@ -11,4 +11,5 @@
     1.4  bin/isabelle components -a
     1.5  bin/isabelle jedit -bf
     1.6  bin/isabelle ocaml_setup
     1.7 +bin/isabelle ghc_setup
     1.8  bin/isabelle "ci_build_$PROFILE" "$@"