--- 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
-----------------------------
--- 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).