etc/build.props

--- a/etc/build.props	Tue Jun 25 18:09:53 2024 +0200
+++ b/etc/build.props	Wed Jun 12 17:06:34 2024 +0200
@@ -332,7 +332,7 @@
   isabelle.Bibtex$File_Format \
   isabelle.Build$Engine$Default \
   isabelle.Build_Schedule$Build_Engine \
-  isabelle.CI_Builds \
+  isabelle.CI_Jobs \
   isabelle.Document_Build$Build_Engine \
   isabelle.Document_Build$LIPIcs_LuaLaTeX_Engine \
   isabelle.Document_Build$LIPIcs_PDFLaTeX_Engine \