# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1719424556 -7200
# Node ID 7dcc5df65affc9f56a37f31184bfb481606b22e5
# Parent  a7f8249533e90201267a090b7da4ed71d86986c6
remove unused Jenkins component;

diff -r a7f8249533e9 -r 7dcc5df65aff Admin/etc/settings
--- a/Admin/etc/settings	Wed Jun 12 17:12:13 2024 +0200
+++ b/Admin/etc/settings	Wed Jun 26 19:55:56 2024 +0200
@@ -1,5 +1,3 @@
 # -*- shell-script -*- :mode=shellscript:
 
 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
-
-ISABELLE_JENKINS_ROOT="https://ci.isabelle.systems/jenkins"
diff -r a7f8249533e9 -r 7dcc5df65aff Admin/jenkins/build/etc/settings
--- a/Admin/jenkins/build/etc/settings	Wed Jun 12 17:12:13 2024 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-ISABELLE_TOOLS="$COMPONENT:$ISABELLE_TOOLS"
-ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS -Xmx8g"
diff -r a7f8249533e9 -r 7dcc5df65aff Admin/jenkins/run_build
--- a/Admin/jenkins/run_build	Wed Jun 12 17:12:13 2024 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-#!/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" "$@"