--- 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"
--- 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"
--- 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" "$@"