--- a/CONTRIBUTORS Wed Mar 13 18:39:41 2024 +0000
+++ b/CONTRIBUTORS Thu Mar 14 11:03:23 2024 +0100
@@ -7,7 +7,7 @@
--------------------------------------
* 2023/2024: Makarius Wenzel and Fabian Huch
- More support for distributed build clusters.
+ More robust and scalable support for distributed build clusters.
* October 2023: Fabian Huch
Support for SMTP mailing.
--- a/NEWS Wed Mar 13 18:39:41 2024 +0000
+++ b/NEWS Thu Mar 14 11:03:23 2024 +0100
@@ -147,6 +147,11 @@
*** System ***
+* More robust and scalable support for distributed build clusters, based
+on SSH and PostgreSQL. This includes advanced scheduling as follows:
+
+ isabelle build -o build_engine=build_schedule -H host1 -H host2
+
* The command-line tool "isabelle build" now uses default 0 (instead of
1) for option -j. This means that "isabelle build -H" will initialize
the build queue and oversee remote workers, but not run any Isabelle