# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1720533625 -7200
# Node ID 06c80577f5891352d1f2cf0ffce48b3d98d62d7b
# Parent  63afde05a820a6f8aa89402bb619f4035bf8070e
NEWS and CONTRIBUTORS;

diff -r 63afde05a820 -r 06c80577f589 CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Jul 09 15:06:24 2024 +0200
+++ b/CONTRIBUTORS	Tue Jul 09 16:00:25 2024 +0200
@@ -6,6 +6,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* June - July 2024: Fabian Huch
+  New Build_Manager module to coordinate CI and user builds, replacing
+  the previous Jenkins integration.
+
 
 Contributions to Isabelle2024
 -----------------------------
diff -r 63afde05a820 -r 06c80577f589 NEWS
--- a/NEWS	Tue Jul 09 15:06:24 2024 +0200
+++ b/NEWS	Tue Jul 09 16:00:25 2024 +0200
@@ -54,6 +54,17 @@
 
 *** System ***
 
+* The Build_Manager module has replaced previous glue-code for Jenkins
+integration. The module contains a server that coordinates continuous
+integration jobs and user-submitted build tasks and displays them via
+web front-end. Users can submit tasks in the same manner as with the
+local build tool, for example:
+
+  isabelle build_task -o build_manager_ssh_user=huch -c -A: -a -X slow
+
+This requires SSH access to the server and membership in a common Unix
+group (same requirements as push access to the Isabelle repository).
+
 * The Isabelle/Scala type Bytes has become more scalable, with support
 for incremental construction via Bytes.Builder. There is no longer an
 artificial size limit, in contrast to Java byte arrays (max. 2 GiB).